added an assert

usethesource · Nov 2, 2023 · 500536d · 500536d
1 parent 879bff9
commit 500536d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/org/rascalmpl/values/RascalValueFactory.java b/src/org/rascalmpl/values/RascalValueFactory.java
@@ -1046,6 +1046,7 @@ private static class Amb implements ITree {
 		protected final ISet alternatives;
 
 		public Amb(ISet alts) {
+			assert alts.size() > 0;
 			this.alternatives = alts;
 		}