--- a/src/Pure/IsaPlanner/isa_fterm.ML Sat Mar 11 17:30:35 2006 +0100
+++ b/src/Pure/IsaPlanner/isa_fterm.ML Sat Mar 11 21:23:10 2006 +0100
@@ -50,7 +50,7 @@
* Term.term)
option
val clean_unify_ft :
- Sign.sg ->
+ theory ->
int ->
Term.term ->
FcTerm ->