GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 20:03:27 +03:00
Code Issues Projects Releases Wiki Activity

Fix haddock comment, should restore build process.

Browse Source
This commit is contained in:
Iavor Diatchki 2017-10-04 10:09:01 -07:00
parent 73de3f787f
commit f74ad3c29d
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Cryptol/ModuleSystem/Base.hs
View File

@ -1,3 +1,4 @@
-- |
-- Module : $Header$
-- Copyright : (c) 2013-2016 Galois, Inc.
@ -5,12 +6,13 @@
-- Maintainer : cryptol@galois.com
-- Stability : provisional
-- Portability : portable
--
-- This is the main driver---it provides entry points for the
-- various passes.
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE FlexibleContexts #-}
-- | This is the main driver---it provides entry points for the
-- various passes.
module Cryptol.ModuleSystem.Base where
import Cryptol.ModuleSystem.Env (DynamicEnv(..), deIfaceDecls)