From 06bb6d4dbef4199f626642af3a0f8f4ad92c3287 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 28 Nov 2017 16:20:31 +0100
Subject: [PATCH] fix latex
---
docs/base-logic.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/base-logic.tex b/docs/base-logic.tex
index 8f0a53269..67036e54e 100644
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
@@ -39,7 +39,7 @@ Below, $\melt$ ranges over $\monoid$ and $i$ ranges over $\set{1,2}$.
\type \to \type
\\[0.4em]
\term, \prop, \pred \bnfdef{}&
- \var \bm\mid
+ \var \mid
\sigfn(\term_1, \dots, \term_n) \mid
\textlog{abort}(\term) \mid
() \mid
--
GitLab