Align Java value tags with Yices 2.7

disteph · disteph · commit 45c2ab4e9985 · 2026-04-02T00:25:17.000-07:00
diff --git a/src/main/java/com/sri/yices/YValTag.java b/src/main/java/com/sri/yices/YValTag.java
@@ -13,6 +13,7 @@ public enum YValTag {
     BOOL,
     RATIONAL,
     ALGEBRAIC,
+    FINITEFIELD,
     BV,
     SCALAR,
     TUPLE,
