rollback

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@720 ab42f6e0-554d-0410-b580-99e487e6eeb2
grammarware · Nov 22, 2009 · 621ba25 · 621ba25
1 parent 7d1f386
commit 621ba25
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/topics/exercises/lambda2/Syntax.pro b/topics/exercises/lambda2/Syntax.pro
@@ -6,6 +6,5 @@ term(lam(X,T)) :- variable(X), term(T).
 
 value(lam(X,T)) :- variable(X), term(T).
 value(var(X)) :- variable(X). % pragmatic extension to deal with open terms
-value(app(var(X),var(Y))) :- variable(X), variable(Y).
 
 variable(X) :- atom(X).