X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fcalculator%2Fcalc7.ml;h=5bfba3853f05be05a3058b163241dba6d9d56f51;hp=df675124c7cb5ca8430568973484b4aa2f86d3f6;hb=bd90f2eb8b87c2f44169fe209c5e35dd113c3d21;hpb=d3258f211acf8c73519d560432c9c453ffd8d9a2

diff --git a/code/calculator/calc7.ml b/code/calculator/calc7.ml
index df675124..5bfba385 100644
--- a/code/calculator/calc7.ml
+++ b/code/calculator/calc7.ml
@@ -1,22 +1,22 @@
 (* calc6.ml, enhanced with Aliases and Passing by Reference *)
 
 	type term =
-		  Intconstant of int
-		| Multiplication of (term * term)
-		| Addition of (term * term)
-		| Variable of char
-		| Let of (char * term * term)
-		| Iszero of term
-		| If of (term * term * term)
-		| Makepair of (term * term)
-		| First of term
-		| Lambda of (char * term)
-		| Apply of (term * term)
-		| Letrec of (char * term * term)
-		| Change of (char * term * term)
-		| Alias of (char * char * term)
-		| Applyalias of (term * char)
-        ;;
+      Intconstant of int
+    | Multiplication of (term * term)
+    | Addition of (term * term)
+    | Variable of char
+    | Let of (char * term * term)
+    | Iszero of term
+    | If of (term * term * term)
+    | Makepair of (term * term)
+    | First of term
+    | Lambda of (char * term)
+    | Apply of (term * term)
+    | Letrec of (char * term * term)
+    | Change of (char * term * term)
+    | Alias of (char * char * term)
+    | Applyalias of (term * char)
+    ;;
 
 	type index = int;;