dune: add (sandbox dune) to kimchi_backend/common/version.ml

yorickvP · yorickvP · commit 72246f77dadd · 2022-06-07T11:53:24.000+02:00
diff --git a/src/lib/crypto/kimchi_backend/common/dune b/src/lib/crypto/kimchi_backend/common/dune
@@ -45,6 +45,7 @@
  (targets version.ml)
  (deps
   (:< gen_version.sh)
-  (source_tree ../../proof-systems))
+  (source_tree ../../proof-systems)
+  (sandbox none))
  (action
   (run %{<} %{targets})))
