Merge branch 'main' of https://github.com/jonsterling/agda-calf into …

…main
jonsterling · Nov 10, 2021 · e51606f · e51606f
2 parents ceef220 + 903f697
commit e51606f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Calf.agda b/src/Calf.agda
@@ -9,5 +9,6 @@ open CostMonoid costMonoid
 open import Calf.Prelude public
 open import Calf.Metalanguage public
 open import Calf.PhaseDistinction public
-open import Calf.Noninterference public
 open import Calf.Step costMonoid public
+
+open import Calf.Noninterference costMonoid public