| changeset 5289 | 41b949f3b8ac |
| parent 2191 | 58383908f177 |
| child 8407 | d522ad1809e9 |
--- a/src/Pure/envir.ML Mon Aug 10 17:03:54 1998 +0200 +++ b/src/Pure/envir.ML Mon Aug 10 17:04:28 1998 +0200 @@ -120,7 +120,7 @@ fun update ((xname, t), Envir{maxidx, asol, iTs}) = Envir{maxidx=maxidx, asol=xinsert_new ((xname,t), asol), iTs=iTs}; -(*The empty environment. New variables will start with the given index.*) +(*The empty environment. New variables will start with the given index+1.*) fun empty m = Envir{maxidx=m, asol=null_olist, iTs=[]}; (*Test for empty environment*)