formatted

hazelgrove · May 19, 2023 · e07aed2 · e07aed2
1 parent 1c66f50
commit e07aed2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lweb/view/LangDoc.re b/src/haz3lweb/view/LangDoc.re
@@ -1856,7 +1856,7 @@ let get_doc =
         | TypeAnn(_) => default // Shouldn't get hit?
         };
       // TODO
-      | Module(_) => default 
+      | Module(_) => default
       | Ap(x, arg) =>
         let x_id = List.nth(x.ids, 0);
         let arg_id = List.nth(arg.ids, 0);