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