Remove unused imports.

igorocky · igorocky · commit 893444d48fec · 2023-04-24T00:04:53.000+02:00
diff --git a/src/metamath/test/MM_int_test_editor_methods.res b/src/metamath/test/MM_int_test_editor_methods.res
@@ -54,7 +54,6 @@ let createEditorState = (
             switch editorState {
                 | None => None
                 | Some(fileName) => {
-                    open Belt_Option
                     readEditorStateFromJsonStr(
                         Expln_utils_files.readStringFromFile(
                             getTestDataDir() ++ "/" ++ fileName ++ ".json"
diff --git a/src/metamath/ui/MM_cmp_import_from_json.res b/src/metamath/ui/MM_cmp_import_from_json.res
@@ -1,6 +1,5 @@
 open Expln_React_common
 open Expln_React_Mui
-open Common
 
 @react.component
 let make = (
