cargo update

shnarazk · Feb 3, 2024 · c3cb5f1 · c3cb5f1
1 parent c06e552
commit c3cb5f1
Show file tree

Hide file tree

Showing 2 changed files with 130 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -46,7 +46,7 @@ default = [
 
         ### platform dependency
         # "platform_wasm"
-        ]
+]
 assign_rate = []                # for debug and study
 best_phases_tracking = []       # save the best-so-far assignment, used by 'rephase'
 bi_clause_completion = []       # this will increase memory pressure