From 8f01e5eb5ba0d5b147ebacd76155376ff63798f8 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Tue, 24 Nov 2020 01:51:11 +0300
Subject: [PATCH] Fix for https://github.com/JetBrains-Research/Lama/issues/15

---
 src/Language.ml | 2 +-
 src/version.ml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Language.ml b/src/Language.ml
index 954d85bf7..e138ad3bb 100644
--- a/src/Language.ml
+++ b/src/Language.ml
@@ -746,7 +746,7 @@ module Expr =
 
       | %"if" e:parse[infix][Val] %"then" the:scope[infix][atr]
         elif:(%"elif" parse[infix][Val] %"then" scope[infix][atr])*
-        els:(%"else" scope[infix][atr])? %"fi"
+        els:("else" s:scope[infix][atr] {Some s} | {isVoid atr} => empty {None}) %"fi"
           {If (e, the, List.fold_right (fun (e, t) elif -> If (e, t, elif)) elif (match els with Some e -> e | _ -> materialize atr Skip))}
       | %"while" e:parse[infix][Val] %"do" s:scope[infix][Void]
                                             => {isVoid atr} => %"od" {materialize atr (While (e, s))}
diff --git a/src/version.ml b/src/version.ml
index d9e2c2f3c..a6f14fde3 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1 +1 @@
-let version = "Version 1.00, 682258255, Mon Nov 16 16:20:19 2020 +0300"
+let version = "Version 1.00, 1849c7029, Mon Nov 16 20:49:07 2020 +0300"