From 2c21072c99b3deb2746838158fbaf39b1e27f198 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 22 May 2023 18:23:10 +0100
Subject: [PATCH] remove stub class, it may as well go into NativeStatic.txt as
 C++

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/CMakeLists.txt      |  1 -
 src/api/java/UserPropagator.java | 55 --------------------------------
 2 files changed, 56 deletions(-)
 delete mode 100644 src/api/java/UserPropagator.java

diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt
index 50fb38b7b..4b13a25b1 100644
--- a/src/api/java/CMakeLists.txt
+++ b/src/api/java/CMakeLists.txt
@@ -179,7 +179,6 @@ set(Z3_JAVA_JAR_SOURCE_FILES
   Tactic.java
   TupleSort.java
   UninterpretedSort.java
-  UserPropagator.java
   Version.java
   Z3Exception.java
   Z3Object.java
diff --git a/src/api/java/UserPropagator.java b/src/api/java/UserPropagator.java
deleted file mode 100644
index 7b3ba5ff9..000000000
--- a/src/api/java/UserPropagator.java
+++ /dev/null
@@ -1,55 +0,0 @@
-/**
-Copyright (c) 2023 Microsoft Corporation
-
-Module Name:
-
-    UserPropagator.java
-
-Abstract:
-
-    User Propagator plugin
-    
-**/
-
-
-package com.microsoft.z3;
-
-import com.microsoft.z3.enumerations.Z3_lbool;
-import java.util.*;
-
-/**
- * User Propagator
- **/
-@SuppressWarnings("unchecked")
-public class UserPropagator implements AutoCloseable {
-
-    Solver solver;
-    Context ctx;
-    
-    /**
-     * Create a UserPropagator from a solver.
-     **/
-    public UserPropagator(Solver s)
-    {
-	this.solver = s;
-    }
-
-    /**
-     * Create a UserPropagator from a context.
-     **/
-    public UserPropagator(Context _ctx)
-    {
-	this.ctx = _ctx;
-    }
-
-    /**
-     * Disposes of the propagator.
-     **/
-    @Override
-    public void close()
-    {
-	this.solver = null;
-	this.ctx = null;
-    }
-}
-