1 files changed, 2 insertions, 0 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/propagation/PropagationBuilder.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/propagation/PropagationBuilder.java
index f8a89b30..2a22f00d 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/propagation/PropagationBuilder.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/propagation/PropagationBuilder.java
@@ -27,6 +27,8 @@ public interface PropagationBuilder extends ModelAdapterBuilder {
 
         PropagationBuilder propagator(Propagator propagator);
 
+        PropagationBuilder throwOnFatalRejection(boolean throwOnFatalRejection);
+
         @Override
         PropagationStoreAdapter build(ModelStore store);
 }