typo fix

diff --git a/README.md b/README.md
index 8f16312e02ff70079ef2c5c14a7424585f59b0f3..c47c5a321b72520ad8f8291e89d34f6aad778993 100644 (file)
--- a/README.md
+++ b/README.md
@@ -136,7 +136,7 @@ l2> quit
 
 Note that the values of variables belonging to successful queries are
 printed out, on one line each. Uninstantiated variables are denoted by
-a number preceded by an uniscore.
+a number preceded by an underscore.
 
 ## Occurs check