X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=code%2Fcalculator%2Fcalc5.ml;h=f855c88c8dba9b728e9fbf170585cd7d13c6f432;hb=9b5f91f462e9f64944ce2aa95ab3f8d30371a469;hp=593f296beb805553ab85e636f43e4b99fec06544;hpb=060198e29e2a13552ee64c1e489eea555c8b1cae;p=lambda.git

diff --git a/code/calculator/calc5.ml b/code/calculator/calc5.ml
index 593f296b..f855c88c 100644
--- 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