src/HOLCF/IOA/meta_theory/ioa_package.ML
changeset 10203 746eb6791aed
parent 9317 7a72952ca068
child 12339 f0b62ad4e1a6
--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML	Thu Oct 12 13:01:19 2000 +0200
+++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML	Thu Oct 12 17:28:18 2000 +0200
@@ -227,7 +227,7 @@
 error("Input action " ^ tr ^ " was not specified")
 ) else (
 if (chead mem (out@int)) then
-(writeln("Action " ^ tr ^ " was completedly disabled due to missing specification")) else print("");
+(writeln("Action " ^ tr ^ " was completedly disabled due to missing specification")) else ();
 (tr ^ " => False",tr ^ " => False")) |
 write_alt thy (chead,ctrm) inp out int ((a,b,c,d,e)::r) =
 let