goblint
diff --git a/‎dune-project‎
Lines changed: 0 additions & 1 deletion b/‎dune-project‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎goblint-cil.opam‎
Lines changed: 0 additions & 1 deletion b/‎goblint-cil.opam‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎src/dune‎
Lines changed: 1 addition & 1 deletion b/‎src/dune‎
Lines changed: 1 addition & 1 deletion
@@ -35,7 +35,6 @@ This is a fork of the 'cil' package used for 'goblint'. Major changes include:
     conf-perl
     cppo
     conf-gcc
-    domain_shims
   )
   (conflicts cil) ; only because we both install the cilly executable
 )
@@ -42,7 +42,6 @@ depends: [
   "conf-perl"
   "cppo"
   "conf-gcc"
-  "domain_shims"
 ]
 conflicts: ["cil"]
 build: [
 
@@ -3,7 +3,7 @@
 (library
   (public_name goblint-cil)
   (name goblintCil)
-  (libraries zarith unix str stdlib-shims domain_shims)
+  (libraries zarith unix str stdlib-shims)
   (modules (:standard \ main mainFeature ciloptions machdepConfigure machdepArchConfigure modelConfigure))
 )
Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,6 @@ This is a fork of the 'cil' package used for 'goblint'. Major changes include:`
`35`	`35`	`conf-perl`
`36`	`36`	`cppo`
`37`	`37`	`conf-gcc`
`38`		`- domain_shims`
`39`	`38`	`)`
`40`	`39`	`(conflicts cil) ; only because we both install the cilly executable`
`41`	`40`	`)`
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`(library`
`4`	`4`	`(public_name goblint-cil)`
`5`	`5`	`(name goblintCil)`
`6`		`- (libraries zarith unix str stdlib-shims domain_shims)`
	`6`	`+ (libraries zarith unix str stdlib-shims)`
`7`	`7`	`(modules (:standard \ main mainFeature ciloptions machdepConfigure machdepArchConfigure modelConfigure))`
`8`	`8`	`)`
`9`	`9`