Skip to content
Browse files

Removed -Wall from individual files

  • Loading branch information...
1 parent cc8d460 commit 2773baa3ad5b363cd2077ec9375e4e38d51407a0 @sphynx committed
Showing with 0 additions and 4 deletions.
  1. +0 −2 fulluntyped/DeBruijn.hs
  2. +0 −2 fulluntyped/Interpreter.hs
View
2 fulluntyped/DeBruijn.hs
@@ -3,8 +3,6 @@ Convert terms to nameless de Bruijn representation when we used indices
instead of variables names.
-}
-{-# OPTIONS_GHC -Wall #-}
-
module DeBruijn (
removeNames,
restoreNames,
View
2 fulluntyped/Interpreter.hs
@@ -1,5 +1,3 @@
-{-# OPTIONS_GHC -Wall #-}
-
module Interpreter where
import Types

0 comments on commit 2773baa

Please sign in to comment.
Something went wrong with that request. Please try again.