summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--prolog/runner/sandbox.pl4
1 files changed, 4 insertions, 0 deletions
diff --git a/prolog/runner/sandbox.pl b/prolog/runner/sandbox.pl
index 99cb490..997a571 100644
--- a/prolog/runner/sandbox.pl
+++ b/prolog/runner/sandbox.pl
@@ -1,5 +1,9 @@
:- multifile sandbox:safe_primitive/1.
+% needed for algol problems
+% TODO find a better way
+sandbox:safe_primitive(call(_)).
+
% safe_primitive declarations for library(clpr) (by Gašper Škulj)
sandbox:safe_primitive(bb_r:bb_inf(_,_,_)).
sandbox:safe_primitive(bb_r:bb_inf(_,_,_,_,_)).