Update NativeStatic.txt

not so automatically generated
Z3Prover · Jul 2, 2022 · 54b16f0 · 54b16f0
1 parent 004139b
commit 54b16f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/java/NativeStatic.txt b/src/api/java/NativeStatic.txt
@@ -1,4 +1,4 @@
-// Automatically generated file
+
 #include<jni.h>
 #include<stdlib.h>
 #include"z3.h"