fix version info
This commit is contained in:
parent
9a48889e69
commit
0e2da3c3e0
@ -2749,7 +2749,7 @@ PL_query(int query)
|
|||||||
case PL_QUERY_USER_CPU:
|
case PL_QUERY_USER_CPU:
|
||||||
return (intptr_t)Yap_cputime();
|
return (intptr_t)Yap_cputime();
|
||||||
case PL_QUERY_VERSION:
|
case PL_QUERY_VERSION:
|
||||||
return (intptr_t)600301;
|
return (intptr_t)60300;
|
||||||
default:
|
default:
|
||||||
fprintf(stderr,"Unimplemented PL_query %d\n",query);
|
fprintf(stderr,"Unimplemented PL_query %d\n",query);
|
||||||
return (intptr_t)0;
|
return (intptr_t)0;
|
||||||
|
Reference in New Issue
Block a user