Require goblint-cil 2.0.0

Author: sim642

dune-project

@@ -27,7 +27,7 @@
   (ocaml
    (>= 4.10.0))
   jsoo-react
-  goblint-cil
+  (goblint-cil (>= 2.0.0))
   ctypes_stubs_js
   integers_stubs_js
   zarith_stubs_js

gobview.opam

@@ -15,7 +15,7 @@ depends: [
   "dune" {>= "2.7"}
   "ocaml" {>= "4.10.0"}
   "jsoo-react"
-  "goblint-cil"
+  "goblint-cil" {>= "2.0.0"}
   "ctypes_stubs_js"
   "integers_stubs_js"
   "zarith_stubs_js"

gobview.opam.locked

@@ -34,7 +34,7 @@ depends: [
   "fmt" {= "0.9.0" & with-doc}
   "fpath" {= "0.7.3"}
   "gen_js_api" {= "1.0.9"}
-  "goblint-cil" {= "1.8.2"}
+  "goblint-cil" {= "2.0.0"}
   "integers_stubs_js" {= "1.0"}
   "js_of_ocaml" {= "4.0.0"}
   "js_of_ocaml-compiler" {= "4.0.0"}