From 7963ecaf632d2151c3a74445b52a1eaebd9ed5c5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 22 May 2023 16:21:34 +0100
Subject: [PATCH] stubs for #6097

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt
index 4b13a25b1..50fb38b7b 100644
--- a/src/api/java/CMakeLists.txt
+++ b/src/api/java/CMakeLists.txt
@@ -179,6 +179,7 @@ set(Z3_JAVA_JAR_SOURCE_FILES
   Tactic.java
   TupleSort.java
   UninterpretedSort.java
+  UserPropagator.java
   Version.java
   Z3Exception.java
   Z3Object.java