manip trees: tweaks

[lambda.git] / code / calculator / calc6.ml

diff --git a/code/calculator/calc6.ml b/code/calculator/calc6.ml
index fa3f183..9cf5abc 100644 (file)
--- a/code/calculator/calc6.ml
+++ b/code/calculator/calc6.ml
@@ -1,4 +1,4 @@
-(* calc3.ml, enhanced with Mutable Variables *)
+(* calc6.ml: calc3.ml enhanced with Mutable Variables *)
 
     type term =
       Intconstant of int