blob: e61b8606c5fb8a8ba472dc9279de2592e88432b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- a/src/gnat/gnat_util.ml 2025-02-10 23:34:07.591622078 +0100
+++ b/src/gnat/gnat_util.ml 2025-02-10 23:34:21.920445321 +0100
@@ -41,7 +41,7 @@
let why3_prefix =
Filename.dirname (Filename.dirname Sys.executable_name)
let spark_prefix =
- Filename.dirname (Filename.dirname why3_prefix)
+ why3_prefix
let gnatprove_why3conf_file = "why3.conf"
|
