From 33e00f4108a574af8dac48734b87018817f57626 Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Sun, 25 Feb 2018 19:12:57 +0300 Subject: [PATCH] Fixed Language.ml --- src/Language.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Language.ml b/src/Language.ml index fbf8dc998..be2e6d16c 100644 --- a/src/Language.ml +++ b/src/Language.ml @@ -48,7 +48,7 @@ module Expr = (* Expression parser. You can use the following terminals: - IDENT --- a non-empty identifier (a-zA-Z[a-zA-Z0-9_]*) as a string + IDENT --- a non-empty identifier a-zA-Z[a-zA-Z0-9_]* as a string DECIMAL --- a decimal constant [0-9]+ as a string *)