src/Pure/Tools/am_interpreter.ML
changeset 17412 e26cb20ef0cc
parent 16842 5979c46853d1
child 17795 5b18c3343028
     1.1 --- a/src/Pure/Tools/am_interpreter.ML	Thu Sep 15 17:16:55 2005 +0200
     1.2 +++ b/src/Pure/Tools/am_interpreter.ML	Thu Sep 15 17:16:56 2005 +0200
     1.3 @@ -107,7 +107,7 @@
     1.4  fun match_closure prog clos =
     1.5      case len_head_of_closure 0 clos of
     1.6          (len, CConst c) =>
     1.7 -        (case prog_struct.lookup (prog, (c, len)) of
     1.8 +        (case prog_struct.lookup prog (c, len) of
     1.9              NONE => NONE
    1.10            | SOME rules => match_rules 0 rules clos)
    1.11        | _ => NONE