From cee939ada70967b70fe92ca24b3428cc8c8b7c38 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 14:58:00 +0100 Subject: Update editor --- editor/forms/add_page.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'editor/forms') diff --git a/editor/forms/add_page.ml b/editor/forms/add_page.ml index 08fb5d7..5ec7f2f 100755 --- a/editor/forms/add_page.ml +++ b/editor/forms/add_page.ml @@ -9,7 +9,7 @@ let create (* The element which contains the information *) let input = El.input () - ~at:At.[type' (Jstr.v "text")] + ~at:At.[type' (Jstr.v "text") ] in let init = -- cgit v1.2.3