mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-28 10:19:23 +00:00
Code Activity

fix generic example

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-02-21 08:16:01 -08:00
parent 199ef30e0c
commit f7691d34fd
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
examples/java/JavaGenericExample.java
View file

@ -1366,10 +1366,10 @@ class JavaGenericExample
System.out.println("EnumExample"); System.out.println("EnumExample");
Log.append("EnumExample"); Log.append("EnumExample");
Symbol name = ctx.mkSymbol("fruit"); Symbol name = ctx.mkSymbol("fruit2");
EnumSort<Object> fruit = ctx.mkEnumSort(name, ctx.mkSymbol("apple"), EnumSort<Object> fruit = ctx.mkEnumSort(name, ctx.mkSymbol("apple2"),
ctx.mkSymbol("banana"), ctx.mkSymbol("orange")); ctx.mkSymbol("banana2"), ctx.mkSymbol("orange2"));
System.out.println((fruit.getConsts()[0])); System.out.println((fruit.getConsts()[0]));
System.out.println((fruit.getConsts()[1])); System.out.println((fruit.getConsts()[1]));