From 7d6ed5d30f02ce90f5d236dbdce59a74494ae9aa Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Wed, 30 Jun 2010 14:04:09 +0200
Subject: [PATCH] Fixed parse error reporting

---
 compiler/heptagon/parsing/hept_parser.mly | 1 -
 1 file changed, 1 deletion(-)

diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly
index b0b8677..50fdebd 100644
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@@ -1,6 +1,5 @@
 %{
 
-open Misc
 open Signature
 open Location
 open Names