diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-07-31 11:25:08 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:00 +0200 |
| commit | 9c1b6eaf1bc35b92d218ce4a93a676431a9845da (patch) | |
| tree | 0ab91bb97eff941973a9bf3ca02be042340a00bf | |
| parent | 77cdeccc9f277054f4276521ff486f5c7639cba0 (diff) | |
Cleanups in monkey.py
| -rw-r--r-- | prolog/sandbox.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/prolog/sandbox.pl b/prolog/sandbox.pl index a4f7426..232dc70 100644 --- a/prolog/sandbox.pl +++ b/prolog/sandbox.pl @@ -454,3 +454,7 @@ safe_pattr(_, _). prolog:sandbox_allowed_expansion(G) :- safe_goal(G). + +% tuProlog compatibility +system:quicksort(L, <, S) :- msort(L, S). +system:quicksort(L, @<, S) :- msort(L, S). |