metadata

GaloisInc · Dec 21, 2020 · 0785f8d · 0785f8d
1 parent ab9010f
commit 0785f8d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Cryptol/Backend/Monad.hs b/src/Cryptol/Backend/Monad.hs
@@ -1,6 +1,6 @@
 -- |
--- Module      :  Cryptol.Eval.Monad
--- Copyright   :  (c) 2013-2016 Galois, Inc.
+-- Module      :  Cryptol.Backend.Monad
+-- Copyright   :  (c) 2013-2020 Galois, Inc.
 -- License     :  BSD3
 -- Maintainer  :  [email protected]
 -- Stability   :  provisional