Removing old tests

leanprover · Sep 2, 2024 · 5fa062b · 5fa062b
1 parent bf96c9a
commit 5fa062b
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 38 deletions.
diff --git a/Tests/test_syntax_basic.mlir b/Tests/test_syntax_basic.mlir
diff --git a/Tests/test_syntax_constants.mlir b/Tests/test_syntax_constants.mlir
diff --git a/Tests/test_syntax_types.mlir b/Tests/test_syntax_types.mlir