src/FOLP/simp.ML

--- a/src/FOLP/simp.ML	Fri Apr 08 11:39:45 2011 +0200
+++ b/src/FOLP/simp.ML	Fri Apr 08 13:31:16 2011 +0200
@@ -371,7 +371,7 @@
 (*Replace parameters by Free variables in P*)
 fun variants_abs ([],P) = P
   | variants_abs ((a,T)::aTs, P) =
-      variants_abs (aTs, #2 (Syntax.variant_abs(a,T,P)));
+      variants_abs (aTs, #2 (Syntax_Trans.variant_abs(a,T,P)));
 
 (*Select subgoal i from proof state; substitute parameters, for printing*)
 fun prepare_goal i st =