From 7ebbf65bee775d635a6e76f6fa4c2f79b2180c37 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Thu, 20 Feb 2020 20:25:29 +0300
Subject: [PATCH] Spec

---
 spec/lama-spec.tex | 4 ++--
 src/version.ml     | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/spec/lama-spec.tex b/spec/lama-spec.tex
index 6f61dd79c..0f15f2061 100644
--- a/spec/lama-spec.tex
+++ b/spec/lama-spec.tex
@@ -85,7 +85,7 @@
 
 \newcommand{\descr}[2]{\smallskip{#1}\begin{itemize}[noitemsep,topsep=0pt]\item[]{#2}\end{itemize}}
 
-\lstdefinelanguage{alm}{
+\lstdefinelanguage{lama}{
 keywords={skip,if,then,else,elif,fi,while,do,od,repeat,until,for,fun,local,public,return,import,length,
 string,case,of,esac,when,boxed,unboxed,string,sexp,array,infix,infixl,infixr,at,before,after,true,false,eta,lazy},
 sensitive=true,
@@ -110,7 +110,7 @@ commentstyle=\scriptsize\rmfamily,
 basewidth={0.5em,0.5em},
 fontadjust=true,
 escapechar=!,
-language=alm
+language=lama
 }
 
 \sloppy
diff --git a/src/version.ml b/src/version.ml
index 56b50f381..067c98d4a 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1 +1 @@
-let version = "Version 1.00, b7271d16, Tue Feb 18 14:08:39 2020 +0300"
+let version = "Version 1.00, 372b66ae, Wed Feb 19 17:43:44 2020 +0300"