diff options
Diffstat (limited to 'src/VeriFuzz/RandomAlt.hs')
-rw-r--r-- | src/VeriFuzz/RandomAlt.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/RandomAlt.hs b/src/VeriFuzz/RandomAlt.hs index 82bc743..8548a1a 100644 --- a/src/VeriFuzz/RandomAlt.hs +++ b/src/VeriFuzz/RandomAlt.hs @@ -1,7 +1,7 @@ {-|p Module : VeriFuzz.RandomAlt Description : RandomAlt generation for DAG -Copyright : (c) 2018-2019, Yann Herklotz Grave +Copyright : (c) 2018-2019, Yann Herklotz License : BSD-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental |