Remove unnecessary goblint binary dependency because goblint package dependency includes it

sim642 · sim642 · commit 8af697f34d7b · 2024-02-16T10:59:08.000+02:00
diff --git a/tests/extraction/dune b/tests/extraction/dune
@@ -1,3 +1,3 @@
 (cram
  (enabled_if %{bin-available:spin})
- (deps %{bin:goblint} (package goblint) (glob_files *.c) (source_tree ../../spin))) ; need entire package for includes/
+ (deps (package goblint) (glob_files *.c) (source_tree ../../spin)))
diff --git a/tests/incremental/dune b/tests/incremental/dune
@@ -1,3 +1,3 @@
 (cram
  (applies_to :whole_subtree)
- (deps %{bin:goblint} (package goblint))) ; need entire package for includes/
+ (deps (package goblint)))
diff --git a/tests/regression/dune b/tests/regression/dune
@@ -1,3 +1,3 @@
 (cram
  (applies_to :whole_subtree)
- (deps %{bin:goblint} (package goblint))) ; need entire package for includes/
+ (deps (package goblint)))
