From e07aed24473fa1829d1368704d7b8fe8ce295517 Mon Sep 17 00:00:00 2001
From: gensofubi <gensofubi@sjtu.edu.cn>
Date: Fri, 19 May 2023 01:08:21 -0500
Subject: [PATCH] formatted

---
 src/haz3lweb/view/LangDoc.re | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/haz3lweb/view/LangDoc.re b/src/haz3lweb/view/LangDoc.re
index b79097ef14..1110d40693 100644
--- 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);