diff --git a/zokrates_analysis/src/flatten_complex_types.rs b/zokrates_analysis/src/flatten_complex_types.rs
index d0381027..2cfe2cae 100644
--- a/zokrates_analysis/src/flatten_complex_types.rs
+++ b/zokrates_analysis/src/flatten_complex_types.rs
@@ -600,7 +600,6 @@ fn fold_statement<'ast, T: Field>(
                 }
                 typed::RuntimeError::SelectRangeCheck => zir::RuntimeError::SelectRangeCheck,
                 typed::RuntimeError::DivisionByZero => zir::RuntimeError::DivisionByZero,
-                _ => unreachable!(),
             };
             vec![zir::ZirStatement::Assertion(e, error)]
         }
diff --git a/zokrates_ast/src/typed/mod.rs b/zokrates_ast/src/typed/mod.rs
index 46b11faa..9dc32b4b 100644
--- a/zokrates_ast/src/typed/mod.rs
+++ b/zokrates_ast/src/typed/mod.rs
@@ -570,7 +570,6 @@ impl<'ast, T: fmt::Display> fmt::Display for TypedAssignee<'ast, T> {
 #[derive(Debug, Clone, PartialEq, Hash, Eq, PartialOrd, Ord)]
 pub enum RuntimeError {
     SourceAssertion(SourceMetadata),
-    SourceAssemblyConstraint(SourceMetadata),
     SelectRangeCheck,
     DivisionByZero,
 }
@@ -581,9 +580,6 @@ impl fmt::Display for RuntimeError {
             RuntimeError::SourceAssertion(metadata) => {
                 write!(f, "Assertion failed at {}", metadata)
             }
-            RuntimeError::SourceAssemblyConstraint(metadata) => {
-                write!(f, "Unsatisfied constraint at {}", metadata)
-            }
             RuntimeError::SelectRangeCheck => write!(f, "Range check on array access"),
             RuntimeError::DivisionByZero => write!(f, "Division by zero"),
         }