Fix module header
commitd205b18d76f261696acb13f2f96a54e2aa9b98dd
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 11 Mar 2017, 22:49 (10 years ago)
parent1487832
libs/contrib/Control/ST/Exception.idr+1−1
@@ -1,4 +1,4 @@
1−module Control.ST.ImplicitCall
1+module Control.ST.Exception
22
33import Control.ST
44import Control.Catchable