--- a/src/Pure/codegen.ML Sat Jul 28 20:40:26 2007 +0200
+++ b/src/Pure/codegen.ML Sat Jul 28 20:40:27 2007 +0200
@@ -1183,8 +1183,8 @@
("iterations", P.nat >> (K o set_iterations)),
("default_type", P.typ >> set_default_type)];
-val parse_test_params = P.short_ident :-- (fn s =>
- P.$$$ "=" |-- (AList.lookup (op =) params s |> the_default Scan.fail)) >> snd;
+val parse_test_params = P.short_ident :|-- (fn s =>
+ P.$$$ "=" |-- (AList.lookup (op =) params s |> the_default Scan.fail));
fun parse_tyinst xs =
(P.type_ident --| P.$$$ "=" -- P.typ >> (fn (v, s) => fn thy =>