fix: missing message error term in one place for type is void

This commit is contained in:
microproofs
2024-02-06 13:58:55 -05:00
committed by Kasey
parent e25be7643e
commit 3b4c6cb2aa

View File

@@ -1270,7 +1270,7 @@ pub fn convert_data_to_type_debug(
Term::equals_integer()
.apply(Term::integer(0.into()))
.apply(Term::fst_pair().apply(Term::unconstr_data().apply(Term::var("__val"))))
.delayed_if_then_else(Term::unit(), Term::Error),
.delayed_if_then_else(Term::unit(), error_term.clone()),
error_term.clone(),
error_term.clone(),
error_term.clone(),