Remove unused batteries dependency from cil library

sim642 · sim642 · commit 47db719fbc97 · 2022-04-07T16:34:23.000+03:00
diff --git a/src/dune b/src/dune
@@ -4,7 +4,7 @@
   (public_name goblint-cil)
   (name cil)
   (wrapped false) ; this should be changed, but then module paths in goblint need to be prefixed
-  (libraries zarith findlib dynlink unix str stdlib-shims batteries.unthreaded)
+  (libraries zarith findlib dynlink unix str stdlib-shims)
   (modules (:standard \ main))
 )
 

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`(public_name goblint-cil)`
`5`	`5`	`(name cil)`
`6`	`6`	`(wrapped false) ; this should be changed, but then module paths in goblint need to be prefixed`
`7`		`- (libraries zarith findlib dynlink unix str stdlib-shims batteries.unthreaded)`
	`7`	`+ (libraries zarith findlib dynlink unix str stdlib-shims)`
`8`	`8`	`(modules (:standard \ main))`
`9`	`9`	`)`
`10`	`10`