From 300383772f74ee017ce4b3c1404acf68015b8b3b Mon Sep 17 00:00:00 2001 From: "Iavor S. Diatchki" Date: Thu, 19 Oct 2017 15:17:39 -0700 Subject: [PATCH] Just a clarification --- src/Cryptol/Transform/AddModParams.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Cryptol/Transform/AddModParams.hs b/src/Cryptol/Transform/AddModParams.hs index c116cdbb..cc26398c 100644 --- a/src/Cryptol/Transform/AddModParams.hs +++ b/src/Cryptol/Transform/AddModParams.hs @@ -1,5 +1,6 @@ -- | Transformed a parametrized module into an ordinary module -- where everything is parameterized by the module's parameters. +-- Note that this reuses the names from the original parameterized module. module Cryptol.Transform.AddModParams (addModParams) where import qualified Data.Map as Map