remove lint allow

nikomatsakis · nikomatsakis · commit 5b4ca0609304 · 2023-03-14T05:54:27.000-04:00
diff --git a/tests/coherence.rs b/tests/coherence.rs
@@ -1,5 +1,3 @@
-#![allow(non_snake_case)]
-
 use formality::test_program_ok;
 
 #[test]
diff --git a/tests/hello_world.rs b/tests/hello_world.rs
@@ -1,5 +1,3 @@
-#![allow(non_snake_case)]
-
 use formality::test_program_ok;
 
 const PROGRAM_BROKEN: &str = "[

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-#![allow(non_snake_case)]`
`2`		`-`
`3`	`1`	`use formality::test_program_ok;`
`4`	`2`
`5`	`3`	`#[test]`