From 84af2a21f5297f701c909a124638722ac27ebc94 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Thu, 15 Feb 2018 23:50:30 +0300
Subject: [PATCH] Fixed typos in ml files

---
 src/Expr.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Expr.ml b/src/Expr.ml
index 7ee65d7f9..886a4ec7b 100644
--- a/src/Expr.ml
+++ b/src/Expr.ml
@@ -6,7 +6,8 @@
 open GT 
              
 (* The type for the expression. Note, in regular OCaml there is no "@type..." 
-   notation, it came from GT. *)
+   notation, it came from GT. 
+*)
 @type expr =
   (* integer constant *) | Const of int
   (* variable         *) | Var   of string
@@ -46,7 +47,7 @@ let _ =
 
      val eval : state -> expr -> int
  
-   Takes a state and an expression, andreturns the value of the expression in 
+   Takes a state and an expression, and returns the value of the expression in 
    the given state.
 *)
 let eval = failwith "Not implemented yet"