tweak calc improvements

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

diff --git a/code/calculator/calc5.ml b/code/calculator/calc5.ml
index 593f296..f855c88 100644 (file)
--- a/code/calculator/calc5.ml
+++ b/code/calculator/calc5.ml
@@ -1,4 +1,4 @@
-(* calc3,ml, enhanced with Mutable Pairs *)
+(* calc5.ml: calc3,ml enhanced with Mutable Pairs *)
 
     type term =
       Intconstant of int