This commit is contained in:
Vítor Santos Costa
2012-10-20 10:48:42 +01:00
parent 04bba4f1de
commit 7f41b36378
3 changed files with 4 additions and 3 deletions

View File

@@ -100,7 +100,7 @@
SWI_MODULE = AtomTermAdjust(SWI_MODULE);
DBLOAD_MODULE = AtomTermAdjust(DBLOAD_MODULE);
RestoreHidenPredicates();
RestoreHiddenPredicates();