From 81be668d4e3a2bb76f22c46f89284513fcf622da Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Tue, 1 Sep 2020 06:20:39 +0300
Subject: [PATCH] Cosmetics

---
 src/version.ml    | 2 +-
 stdlib/Ostap.lama | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/version.ml b/src/version.ml
index c5ff7de01..6401d61fa 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1 +1 @@
-let version = "Version 1.00, f81a63865, Wed Aug 26 00:27:42 2020 +0300"
+let version = "Version 1.00, 6f72275cf, Thu Aug 27 07:24:46 2020 +0300"
diff --git a/stdlib/Ostap.lama b/stdlib/Ostap.lama
index 96bf087ef..28042ef8a 100644
--- a/stdlib/Ostap.lama
+++ b/stdlib/Ostap.lama
@@ -43,7 +43,12 @@ public fun memo (f) {
       if log then printf ("Applying memoized parser to %s\n", s.string) fi;
       case findMap (deref (t), s) of
         None  ->
-          t ::= addMap (deref (t), s, [addSet (emptySet (compare), k), emptySet (fun (r1, r2) {case [r1, r2] of [Fail (_, _, _), Fail (_, _, _)] -> 0 | _ -> compare (r1, r2) esac      })]);
+          t ::= addMap (deref (t), s, [addSet (emptySet (compare), k), emptySet (fun (r1, r2) {
+                                                                                   case [r1, r2] of
+                                                                                     [Fail (_, _, _), Fail (_, _, _)] -> 0
+                                                                                   | _                                -> compare (r1, r2)
+                                                                                   esac
+                                                                                 })]);
           f (fun (r) {
                r := lookupMemo (restab, r);
                if log then printf ("Running continuation with result %s\n", r.string) fi;