Use str::lines() instead of splitting and stripping for the bodil#124 …

…repro case.
ddlog-dev · Jul 27, 2020 · 2cae6fb · 2cae6fb
1 parent d8d8198
commit 2cae6fb
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/ord/map.rs b/src/ord/map.rs
@@ -2381,8 +2381,7 @@ mod test {
     fn issue_124() {
         let mut map = OrdMap::new();
         let contents = include_str!("test-fixtures/issue_124.txt");
-        for line in contents.split('\n') {
-            let line = line.trim();
+        for line in contents.lines() {
             if line.starts_with("insert ") {
                 map.insert(line[7..].parse::<u32>().unwrap(), 0);
             } else if line.starts_with("remove ") {