# HG changeset patch
# User wenzelm
# Date 971364498 -7200
# Node ID 746eb6791aed7b4463c744b83c96cddb6cf9239f
# Parent  9e8b4bebc94029121a44a510b5b9c76dfb54bd56
removed nonsensical print statement;

diff -r 9e8b4bebc940 -r 746eb6791aed src/HOLCF/IOA/meta_theory/ioa_package.ML
--- 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