Reformat.

facet-lang · Oct 20, 2020 · c954402 · c954402
1 parent 396cc68
commit c954402
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Base/Option.facet b/src/Base/Option.facet
@@ -1,4 +1,5 @@
-Base.Option : Module
+Base.Option
+: Module
 {
 
 Option : (A : Type) -> Type