use nom v7

rene-d · rene-d · commit fbabc13dd1d2 · 2025-01-26T19:06:12.000+01:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -31,7 +31,7 @@ strum = { version = "*", features = ["strum_macros", "derive"] }
 strum_macros = "*"
 text_io = "*"
 z3 = "*"
-nom = "*"
+nom = "7"
 num = "*"
 num-traits = "*"
 itertools = "*"
