# HG changeset patch
# User lcp
# Date 758908721 -3600
# Node ID c28d2fc5dd1c81e85068f92301874ec4ecc3db66
# Parent  cb6a244515444b22fb02f8bca1656c24fd0dfbf2
corrected comment

diff -r cb6a24451544 -r c28d2fc5dd1c src/FOL/ex/int.ML
--- a/src/FOL/ex/int.ML	Tue Jan 18 16:37:12 1994 +0100
+++ b/src/FOL/ex/int.ML	Tue Jan 18 16:58:41 1994 +0100
@@ -180,7 +180,7 @@
 result();
 
 
-writeln"U****Examples with quantifiers****";
+writeln"****Examples with quantifiers****";
 
 
 writeln"The converse is classical in the following implications...";