diff --git a/src/Parsing/Parser.hs b/src/Parsing/Parser.hs index 04ff7de66..ef6791204 100644 --- a/src/Parsing/Parser.hs +++ b/src/Parsing/Parser.hs @@ -1,5 +1,4 @@ {-# LANGUAGE AllowAmbiguousTypes, ConstraintKinds, GADTs, RankNTypes, ScopedTypeVariables, TypeFamilies, TypeOperators #-} -{-# OPTIONS_GHC -Wno-orphans #-} module Parsing.Parser ( Parser(..) , SomeTerm(..)