forgot one file

AnoudAlshnakat · AnoudAlshnakat · commit 8d59cce02409 · 2025-12-29T00:20:54.000+01:00
diff --git a/hol/policy_to_table/bdd_cake_trans/fwd_proof_cake_w_IOLib.sig b/hol/policy_to_table/bdd_cake_trans/fwd_proof_cake_w_IOLib.sig
@@ -3,7 +3,7 @@ sig
   include Abbrev
 
 
-        val convert_arith_policy_to_interval_tables_cake : term * term * term * term * term -> thm
+        val convert_arith_policy_to_interval_tables_cake_w_IO : term * term * term * term * term -> thm
         val time_stage : string * Timer.cpu_timer * Timer.real_timer -> {sys: Time.time, usr: Time.time} * Time.time
 
         
