--- a/src/Provers/splitter.ML Fri May 05 22:30:14 2000 +0200
+++ b/src/Provers/splitter.ML Fri May 05 22:32:25 2000 +0200
@@ -415,9 +415,9 @@
(* method modifiers *)
val split_modifiers =
- [Args.$$$ splitN -- Args.$$$ ":" >> K ((I, split_add_local): Method.modifier),
- Args.$$$ splitN -- Args.$$$ "add" -- Args.$$$ ":" >> K (I, split_add_local),
- Args.$$$ splitN -- Args.$$$ "del" -- Args.$$$ ":" >> K (I, split_del_local)];
+ [Args.$$$ splitN -- Args.colon >> K ((I, split_add_local): Method.modifier),
+ Args.$$$ splitN -- Args.$$$ "add" -- Args.colon >> K (I, split_add_local),
+ Args.$$$ splitN -- Args.$$$ "del" -- Args.colon >> K (I, split_del_local)];