From 315cb0faeecd79902d495dc79bc3de87b37adfb3 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 31 Mar 2022 07:38:11 -0700
Subject: [PATCH] Fix Java examples (#8484)

This fixes the Java examples. The examples were not able the find the
`cvc5::cvc5jar` target because the namespace had accidentally been
changed to `cvc5::internal::` in commit
bbcd471ed40c813c48957ced5596471cc0ccebe9. This reverts that change.
---
 src/api/java/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt
index 79a95bd57..1c2507f38 100644
--- a/src/api/java/CMakeLists.txt
+++ b/src/api/java/CMakeLists.txt
@@ -187,7 +187,7 @@ install_jar(cvc5jar DESTINATION share/java)
 
 install_jar_exports(
   TARGETS cvc5jar
-  NAMESPACE cvc5::internal::
+  NAMESPACE cvc5::
   FILE cvc5JavaTargets.cmake
   DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/cvc5
 )
-- 
2.30.2