diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-25 13:24:14 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-25 13:24:14 +0100 |
| commit | 2b233030e58051bae4185e5b46522543cdf56e44 (patch) | |
| tree | 48fdfd2859d8430589be35a05fc81f8081d4e243 /src | |
| parent | 8d0985bd471aa66f9a8676f222a78ae2bb580e90 (diff) | |
| download | verismith-2b233030e58051bae4185e5b46522543cdf56e44.tar.gz verismith-2b233030e58051bae4185e5b46522543cdf56e44.zip | |
Rename Node to Int
Diffstat (limited to 'src')
| -rw-r--r-- | src/Test/VeriFuzz/Internal/Gen.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Test/VeriFuzz/Internal/Gen.hs b/src/Test/VeriFuzz/Internal/Gen.hs index 2eba531..8f7462b 100644 --- a/src/Test/VeriFuzz/Internal/Gen.hs +++ b/src/Test/VeriFuzz/Internal/Gen.hs @@ -16,7 +16,7 @@ import Data.Graph.Inductive (Graph, Node) import qualified Data.Graph.Inductive as G import qualified Data.Text as T -fromNode :: Node -> T.Text +fromNode :: Int -> T.Text fromNode node = T.pack $ "w" <> show node filterGr :: (Graph gr) => gr n e -> (Node -> Bool) -> [Node] |