add stub for SWI compat

2016-02-26 18:25:07 +00:00
parent 25ee4dd7e8
commit 56e9a8f8d9
3 changed files with 7 additions and 2 deletions
--- a/library/ytest.yap
+++ b/library/ytest.yap
@@ -6,11 +6,15 @@
                   op(995, xfx, given),
                   op(990, xfx, returns)] ).

+:-      (current_op(X,Y,O), write(M0:O), fail:nl).
+
 :- use_module( library(clauses) ).
 :- use_module( library(maplist) ).
 :- use_module( library(gensym) ).
 :- use_module( library(lists) ).

+:-      (current_op(X,Y,O), write(M0:O), fail:nl).
+
 :- multifile test/1.

 :- dynamic error/3, failed/3.