Merge pull request #165 from goblint/rm-libmaincil

Remove unused `Libmaincil` module
goblint · Feb 10, 2024 · 8c9c579 · 8c9c579
2 parents d2760ba + 3cb720f
commit 8c9c579
Showing 1 changed file with 0 additions and 106 deletions.
diff --git a/src/libmaincil.ml b/src/libmaincil.ml