From 54b16f049698611c00f2d838c8afec2b12e5ba30 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 2 Jul 2022 13:04:09 -0700
Subject: [PATCH] Update NativeStatic.txt

not so automatically generated
---
 src/api/java/NativeStatic.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<jni.h>
 #include<stdlib.h>
 #include"z3.h"