--- 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