This commit is contained in:
Mark Thom
2017-02-25 12:30:27 -07:00
parent 80adc23984
commit 6346612caa

View File

@@ -136,7 +136,7 @@ l2> quit
Note that the values of variables belonging to successful queries are Note that the values of variables belonging to successful queries are
printed out, on one line each. Uninstantiated variables are denoted by 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 ## Occurs check