diff --git a/src/api/java/NativeStatic.txt b/src/api/java/NativeStatic.txt index 657050951..4693272d5 100644 --- a/src/api/java/NativeStatic.txt +++ b/src/api/java/NativeStatic.txt @@ -1,4 +1,4 @@ -// Automatically generated file + #include #include #include"z3.h"