add THOR to threads version.

2010-07-28 00:30:02 +01:00
parent 0a73dea9c0
commit 86af6ff3f6
3 changed files with 5 additions and 4 deletions
--- a/OPTYap/opt.preds.c
+++ b/OPTYap/opt.preds.c
@@ -488,14 +488,12 @@ static Int p_show_statistics_tabling(void) {

  return (TRUE);
 }
-#endif /* TABLING */
-

 static Int p_show_statistics_global_trie(void) {
  show_global_trie(SHOW_MODE_STATISTICS);
  return (TRUE);
 }
-
+#endif /* TABLING */


 /*********************************