Cleanup of comment

kth-step · Mar 15, 2024 · 9e3a22f · 9e3a22f
1 parent 6c611d1
commit 9e3a22f
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/tools/symbexec/examples/analysis_modexp/uidivmodScript.sml b/src/tools/symbexec/examples/analysis_modexp/uidivmodScript.sml
@@ -195,12 +195,6 @@ val birs_state_final_ = ``<|
 ``;
 
 
-(*
-val result = prove(,
-  cheat
-);
-*)
-
 val result = mk_oracle_thm "BIRS_EXTERNAL_WCET" ([], ``
   symb_hl_step_in_L_sound (bir_symb_rec_sbir bprog)
        (birs_symb_to_symbst