From 39beebe875e63de964eb7dad47abd32f4255a1a0 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Mon, 27 Jan 2020 22:08:16 +0300
Subject: [PATCH] Fixed bug in Language.ml

---
 src/Language.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Language.ml b/src/Language.ml
index 1098b5096..948e9b307 100644
--- a/src/Language.ml
+++ b/src/Language.ml
@@ -1047,7 +1047,7 @@ let eval (_, expr) i =
 
 (* Top-level parser *)
 ostap (
-  imports[cmd]: l:$ is:(%"import" !(Util.list)[ostap (UIDENT)]) -";")* {
+  imports[cmd]: l:$ is:(%"import" !(Util.list [ostap (UIDENT)]) -";")* {
     let is    = "Std" :: List.flatten is in
     let infix =
       List.fold_left