Rename JsonParser to CodeQuery. References goblint/analyzer#112

michael-schwarz · michael-schwarz · commit a67a7028e577 · 2020-10-26T07:57:08.000+01:00
diff --git a/src/ext/syntaticsearch/codeQuery.ml b/src/ext/syntaticsearch/codeQuery.ml
diff --git a/src/ext/syntaticsearch/queryMapping.ml b/src/ext/syntaticsearch/queryMapping.ml
@@ -1,5 +1,5 @@
 open Cil
-open JsonParser
+open CodeQuery
 
 (* Default output if the input-query is not supported *)
 let loc_default = { line = -1; file = ""; byte = -1 }
diff --git a/src/ext/syntaticsearch/resultPrinter.ml b/src/ext/syntaticsearch/resultPrinter.ml
@@ -1,4 +1,4 @@
-open JsonParser
+open CodeQuery
 open Cil
 
 let rec contains list elem =
