tweak calc improvements

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

diff --git a/code/calculator/calc3.ml b/code/calculator/calc3.ml
index 65bf754..523a6bb 100644 (file)
--- a/code/calculator/calc3.ml
+++ b/code/calculator/calc3.ml
@@ -1,4 +1,4 @@
-(* calc2.ml, enhanced with Recursive Function Values *)
+(* calc3.ml: calc2.ml enhanced with Recursive Function Values *)
 
     type term =
       Intconstant of int