From dfba269766c54c5833023768fb156dd8f7e82554 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 6 Feb 2017 14:07:26 +0100
Subject: Datatypes no longer shadows fst and snd

---
 backend/CMparser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/CMparser.mly')

diff --git a/backend/CMparser.mly b/backend/CMparser.mly
index 94b50810..64943f0b 100644
--- a/backend/CMparser.mly
+++ b/backend/CMparser.mly
@@ -17,7 +17,7 @@
    including function calls in expressions, matches, while statements, etc. */
 
 %{
-open !Datatypes
+open Datatypes
 open Camlcoq
 open BinNums
 open Integers
-- 
cgit