From 54cfd7d3bceed09d141e1c78bd20f7e8a4413c33 Mon Sep 17 00:00:00 2001 From: Forpee Date: Tue, 26 Nov 2024 08:18:44 +0200 Subject: [PATCH] chore: cleanup up dead comment --- src/frontend/util_cs/test_cs.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/frontend/util_cs/test_cs.rs b/src/frontend/util_cs/test_cs.rs index 00d56226..a75f33d6 100644 --- a/src/frontend/util_cs/test_cs.rs +++ b/src/frontend/util_cs/test_cs.rs @@ -116,7 +116,6 @@ impl TestConstraintSystem { } None => true, } - // self.which_is_unsatisfied().is_none() } fn set_named_obj(&mut self, path: String, to: NamedObject) {