Update IndProp.lidr

clayrat · web-flow · commit 93622cde552a · 2017-10-30T15:52:16.000+02:00
diff --git a/src/IndProp.lidr b/src/IndProp.lidr
@@ -7,8 +7,6 @@
 > import Tactics
 > import Logic
 >
-> %access public export
->
 > %hide Basics.Numbers.pred
 >
 > %access public export
