From 0e2da3c3e0b6de5e6dd77cc6cf319b636a40de86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?U-WIN-U2045GN0RNQ=5CV=C3=ADtor=20Santos=20Costa?= Date: Thu, 18 Aug 2011 22:32:59 +0100 Subject: [PATCH] fix version info --- library/dialect/swi/fli/swi.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c index e429764fe..b56e74a00 100644 --- a/library/dialect/swi/fli/swi.c +++ b/library/dialect/swi/fli/swi.c @@ -2749,7 +2749,7 @@ PL_query(int query) case PL_QUERY_USER_CPU: return (intptr_t)Yap_cputime(); case PL_QUERY_VERSION: - return (intptr_t)600301; + return (intptr_t)60300; default: fprintf(stderr,"Unimplemented PL_query %d\n",query); return (intptr_t)0;