Fix travis error

michaelborkowski · Jan 19, 2018 · cd42395 · cd42395
1 parent bc9c3c6
commit cd42395
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/devel/Paths_liquidhaskell.hs b/devel/Paths_liquidhaskell.hs
@@ -1,12 +1,18 @@
 {-# LANGUAGE TemplateHaskell #-}
+
 module Paths_liquidhaskell where
 
 import Language.Haskell.TH
 import System.Directory
 import System.FilePath
+import Data.Version (Version, makeVersion)
 
 getDataFileName :: FilePath -> IO FilePath
 getDataFileName f = do
   let loc = $(do { loc <- location; f <- runIO (canonicalizePath (loc_filename loc)); litE (stringL f); })
   let root = takeDirectory (takeDirectory loc)
   return (root </> f)
+
+-- | dummy version (devel only)
+version :: Version
+version = makeVersion [0,0,0,0]