src/HOL/Tools/specification_package.ML
changeset 15794 5de27a5fc5ed
parent 15574 b1d1b5bfc464
child 15945 08e8d3fb9343
--- a/src/HOL/Tools/specification_package.ML	Thu Apr 21 18:56:03 2005 +0200
+++ b/src/HOL/Tools/specification_package.ML	Thu Apr 21 18:57:18 2005 +0200
@@ -110,7 +110,7 @@
 	fun unthaw (f as (a,S)) =
 	    (case assoc (fmap',a) of
 		 NONE => TVar f
-	       | SOME b => TFree (b,S))
+	       | SOME (b, _) => TFree (b,S))
     in
 	map_term_types (map_type_tvar unthaw) t
     end