chore: Better satisfaction error

uncomputable · Oct 2, 2024 · 2e40644 · 2e40644
1 parent c66214a
commit 2e40644
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/components/program_window/run_button.rs b/src/components/program_window/run_button.rs
@@ -31,8 +31,11 @@ pub fn RunButton() -> impl IntoView {
         with!(|program, witness_values, environment| {
             let satisfied_program = match program.satisfy(witness_values) {
                 Ok(x) => x,
-                Err(error) => {
-                    output.error.set(error);
+                Err(..) => {
+                    output.error.set(
+                        "Some witness names don't have a value; revise the \"Witness\" section"
+                            .to_string(),
+                    );
                     set_success(false);
                     return;
                 }