diff lite.pl @ 19:e1d3145cff7a lite-verifier

*** empty log message ***
author kono
date Thu, 30 Aug 2007 12:44:35 +0900
parents f2aa38ce0787
children
line wrap: on
line diff
--- a/lite.pl	Sun Jan 21 10:21:43 2001 +0900
+++ b/lite.pl	Thu Aug 30 12:44:35 2007 +0900
@@ -34,7 +34,7 @@
 %?-op(60,fy,[*]).
 ?-[op].
 % :- use_module(library(gmlib)).
-:- ensure_loaded([dvcomp,rstd,chop,diag,kiss,ex,cp,infinite]).
+:- ensure_loaded([dvcomp,rstd,chop,diag,kiss,ex,cp]).
 % ,display]).
 
 % end