From 8d3f30de9c1ce67beb9b788c6932b5602d0e6d63 Mon Sep 17 00:00:00 2001 From: vsc Date: Thu, 20 Nov 2003 00:28:08 +0000 Subject: [PATCH] typo git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@933 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/preds.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/preds.yap b/pl/preds.yap index dbe2dec75..0501918de 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -51,7 +51,7 @@ assert(C) :- '$assert_clause2'(C, G, M1, Where, R, P). '$assert_clause'(M:C, G, M1, Where, R, P) :- !, '$preprocess_clause_before_mod_change'((C:-G),M1,M,C1), - C1 = (MH :- NG), + C1 = (NH :- NG), '$assert_clause2'(NH, NG, M, Where, R, P). '$assert_clause'(H, G, M1, Where, R, P) :- !, '$assert_clause2'(H, G, M1, Where, R, P).