From 6bf111fc356acf56df389dbc6808e0647e21755f Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Thu, 15 Feb 2018 23:51:23 +0300 Subject: [PATCH] Temporary commit --- src/Expr.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Expr.ml b/src/Expr.ml index 7292c06f0..496ae8424 100644 --- a/src/Expr.ml +++ b/src/Expr.ml @@ -47,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 rec eval st expr =