X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases_book.ml;h=98e83830cab46991b4113801b6518488980b8b23;hp=5cae186290778ba7851473362335414c9c7eb91b;hb=c09092a90642142756c6d9aafb553fd3dd4d11a6;hpb=f7fa9b32b236443fa0d2cf83fbb617081664b81b

diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml
index 5cae186..98e8383 100644
--- a/compiler/src/lib/tiger/tiger_test_cases_book.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases_book.ml
@@ -144,5 +144,6 @@ let read ~from_dir:dir =
   Sys.readdir dir
   |> Array.to_list
   |> List.filter ~f:is_filename_not_hidden
+  |> List.filter ~f:(fun filename -> Filename.check_suffix filename ".tig")
   |> List.sort ~cmp:compare
   |> List.map ~f:(test_case_of_filename ~dir)