src/HOL/Tools/refute.ML
changeset 26328 b2d6f520172c
parent 25538 58e8ba3b792b
child 26423 8408edac8f6b
     1.1 --- a/src/HOL/Tools/refute.ML	Wed Mar 19 07:20:31 2008 +0100
     1.2 +++ b/src/HOL/Tools/refute.ML	Wed Mar 19 07:20:32 2008 +0100
     1.3 @@ -451,7 +451,7 @@
     1.4    fun monomorphic_term typeSubs t =
     1.5      map_types (map_type_tvar
     1.6        (fn v =>
     1.7 -        case Type.lookup (typeSubs, v) of
     1.8 +        case Type.lookup typeSubs v of
     1.9            NONE =>
    1.10            (* schematic type variable not instantiated *)
    1.11            raise REFUTE ("monomorphic_term",