Rename project “foliage”

2019-11-01 20:54:55 +01:00
parent d1d20deadb
commit 9f32bea10c
4 changed files with 4 additions and 5 deletions
--- a/benches/test.rs
+++ b/benches/test.rs
@@ -13,7 +13,7 @@ forall XV2 (q(XV2) <-> (exists XU2 (exists X5 (X5 = XU2 and p(X5)) and exists X6

 		b.iter(||
 		{
-			let (i, _) = fol_parser::formulas(formulas).unwrap();
+			let (i, _) = foliage::formulas(formulas).unwrap();
 			assert_eq!(i, "");
 		});
 	}