Remove unused Json_encoding opens

goblint · Jan 7, 2022 · af1c072 · af1c072
1 parent d563ea5
commit af1c072
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/util/jsonSchema.ml b/src/util/jsonSchema.ml
@@ -48,7 +48,6 @@ let encoding_of_schema (schema: Json_schema.schema): unit Json_encoding.encoding
   let root = Json_schema.root schema in
   Json_encoding.mu "" (fun top -> encoding_of_schema_element top root)
 
-open Json_encoding
 open Json_schema
 
 let rec element_defaults (element: element): Yojson.Safe.t =

diff --git a/src/util/options.ml b/src/util/options.ml
@@ -1,4 +1,3 @@
-open Json_encoding
 open Json_schema
Original file line number	Diff line number	Diff line change
		@@ -1,4 +1,3 @@
		open Json_encoding
		open Json_schema


Expand Down