Make the SMT keywords set immutable
@@ -23,7 +23,7 @@ import org.sosy_lab.java_smt.basicimpl.AbstractModel.CachingAbstractModel;
class BoolectorModel extends CachingAbstractModel<Long, Long, Long> {
// TODO: The rest of the keywords any maybe make this a map for O(1) access
- private static final Set<String> SMT_KEYWORDS =
+ private static final ImmutableSet<String> SMT_KEYWORDS =
ImmutableSet.of(
"let",
"forall",
