# HG changeset patch
# User wenzelm
# Date 902761468 -7200
# Node ID 41b949f3b8acbbabe3eb019e85495e22438516d9
# Parent  0152d1a09639d41a9a48d0ef651c2e196a6edfb2
fixed comment;

diff -r 0152d1a09639 -r 41b949f3b8ac src/Pure/envir.ML
--- 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*)