From f7691d34fd3e8dfe2cd0f3373ed05510e0d046c9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 21 Feb 2024 08:16:01 -0800 Subject: [PATCH] fix generic example Signed-off-by: Nikolaj Bjorner --- examples/java/JavaGenericExample.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/java/JavaGenericExample.java b/examples/java/JavaGenericExample.java index 1a4ac6628..b2f30cd77 100644 --- a/examples/java/JavaGenericExample.java +++ b/examples/java/JavaGenericExample.java @@ -1366,10 +1366,10 @@ class JavaGenericExample System.out.println("EnumExample"); Log.append("EnumExample"); - Symbol name = ctx.mkSymbol("fruit"); + Symbol name = ctx.mkSymbol("fruit2"); - EnumSort fruit = ctx.mkEnumSort(name, ctx.mkSymbol("apple"), - ctx.mkSymbol("banana"), ctx.mkSymbol("orange")); + EnumSort fruit = ctx.mkEnumSort(name, ctx.mkSymbol("apple2"), + ctx.mkSymbol("banana2"), ctx.mkSymbol("orange2")); System.out.println((fruit.getConsts()[0])); System.out.println((fruit.getConsts()[1]));