diff options
Diffstat (limited to 'src/Cfe/Language/Construct')
| -rw-r--r-- | src/Cfe/Language/Construct/Union.agda | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Cfe/Language/Construct/Union.agda b/src/Cfe/Language/Construct/Union.agda index 5e86124..0865123 100644 --- a/src/Cfe/Language/Construct/Union.agda +++ b/src/Cfe/Language/Construct/Union.agda @@ -24,8 +24,9 @@ module _ (B : Language b) where - module A = Language A - module B = Language B + private + module A = Language A + module B = Language B infix 6 _∪_ |