small cosmetic changes

Sapphire-Lilith · Oct 24, 2018 · 695f578 · 695f578
1 parent 0e269b7
commit 695f578
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/frontend/loadMDSetting.ml b/src/frontend/loadMDSetting.ml
@@ -52,6 +52,7 @@ let make_code_name_map (srcpath : file_path) (prefix : char) (json : Yojson.Safe
 
         | _ ->
             raise (InvalidYOJSON(srcpath, "not a pair: " ^ (Yojson.Safe.to_string json)))
+
       ) CodeNameMap.empty
 
   | _ ->

diff --git a/src/md/decodeMD.ml b/src/md/decodeMD.ml
@@ -31,7 +31,6 @@ and inline_element =
   | Url of string * inline * string
   | InlineRaw of string
 
-
 and inline = inline_element list
 [@@deriving show { with_path = false; }]