Remove unused Libmaincil module

It calls initCIL at top level when linked with -linkall.
goblint · Feb 1, 2024 · 3cb720f · 3cb720f
1 parent d2760ba
commit 3cb720f
Showing 1 changed file with 0 additions and 106 deletions.
diff --git a/src/libmaincil.ml b/src/libmaincil.ml