on master help sign in
Change 'module Prelude.Catchable to 'module Control.Catchable'
commitf2cf4d8ce9fe65a691ea3067b1a77c51fbb8c0fb authorPaul Koerbitz <paul.koerbitz@theppro.com> dateSun 6 Apr 2014, 15:57 (13 years ago) parentd00015b
1 file changed+1−1
libs/base/Control/Catchable.idr+1−1
libs/base/Control/Catchable.idr+1−1
@@ -1,4 +1,4 @@
1−module Prelude.Catchable
1+module Control.Catchable
22
33import Control.IOExcept
44