Add workaround for __goblint_assume_join on newer GCC (issue #1779)

sim642 · sim642 · commit 25ef5bd7dd88 · 2025-09-05T14:58:20.000+03:00
diff --git a/lib/goblint/runtime/src/dune b/lib/goblint/runtime/src/dune
@@ -2,4 +2,5 @@
  (archive_name goblint)
  (language c)
  (names goblint)
+ (flags :standard -std=c11) ; workaround for https://github.com/goblint/analyzer/issues/1779
  (include_dirs ../include))
