Merge pull request rust-lang#29 from Marwes/detach_undo_log

feat: Allow the UndoLog to be supplied separately
nikomatsakis · Apr 9, 2020 · 5a500c4 · 5a500c4
2 parents 05fcaa3 + 7e3b49b
commit 5a500c4
Show file tree

Hide file tree

Showing 7 changed files with 847 additions and 249 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -20,4 +20,5 @@ extern crate log;
 extern crate dogged;
 
 pub mod snapshot_vec;
+pub mod undo_log;
 pub mod unify;