5.0. support

2016-12-16 03:37:59 -06:00
parent e6c021411b
commit a4bb9f6e0e
3 changed files with 5 additions and 5 deletions
--- a/packages/gecode/gecode5.yap
+++ b/packages/gecode/gecode5.yap
@@ -2,9 +2,6 @@
 /* just for program analysis */


-:- module(gecode, [(:=)/2, op(500, xfx, ':='),
-		   (+=)/2, op(500, xfx, '+=')]).
-

 :- include(gecode5_yap_hand_written).
 :- include('5.0.0/gecode_yap_auto_generated').