wip dashu move

2023-07-17 20:40:41 +05:30
parent 5d09449c95
commit cf345d8174
17 changed files with 165 additions and 38 deletions
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -14,7 +14,7 @@ use crate::machine::streams::*;
 use crate::parser::ast::*;
 use crate::types::*;

-use crate::parser::rug::Integer;
+use crate::parser::dashu::Integer;

 use indexmap::IndexMap;