renamed json_of_jsonm_{string,channel} modules to json_{string,channel}

stevebleazard · Feb 2, 2018 · 33834ac · 33834ac
1 parent 2c4729e
commit 33834ac
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 2 deletions.
diff --git a/src/json_of_jsonm_channel.ml → src/json_channel.ml b/src/json_of_jsonm_channel.ml → src/json_channel.ml
diff --git a/src/json_of_jsonm_channel.mli → src/json_channel.mli b/src/json_of_jsonm_channel.mli → src/json_channel.mli
diff --git a/src/json_of_jsonm_lib.ml b/src/json_of_jsonm_lib.ml
@@ -1,3 +1,3 @@
 module Json_of_jsonm_monad = Json_of_jsonm_monad
-module Json_string = Json_of_jsonm_string
-module Json_channel = Json_of_jsonm_channel
+module Json_string = Json_string
+module Json_channel = Json_channel
diff --git a/src/json_of_jsonm_string.ml → src/json_string.ml b/src/json_of_jsonm_string.ml → src/json_string.ml
diff --git a/src/json_of_jsonm_string.mli → src/json_string.mli b/src/json_of_jsonm_string.mli → src/json_string.mli