tweak calc improvements

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

diff --git a/code/calculator/calc2.ml b/code/calculator/calc2.ml
index ef4a37c..521b81d 100644 (file)
--- a/code/calculator/calc2.ml
+++ b/code/calculator/calc2.ml
@@ -1,4 +1,4 @@
-(* calc1.ml, enhanced with Function Values *)
+(* calc2.ml: calc1.ml enhanced with Function Values *)
 
     type term =
       Intconstant of int