diff options
Diffstat (limited to 'src/CC/Name.idr')
| -rw-r--r-- | src/CC/Name.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CC/Name.idr b/src/CC/Name.idr index f1a66db..4c25f5c 100644 --- a/src/CC/Name.idr +++ b/src/CC/Name.idr @@ -1,6 +1,6 @@ module CC.Name -import Control.Relation +import public Control.Relation import Decidable.Equality |