diff --git a/tests/test-dirs/occurrences/dune b/tests/test-dirs/occurrences/dune index f1ae2858cc..244e495c60 100644 --- a/tests/test-dirs/occurrences/dune +++ b/tests/test-dirs/occurrences/dune @@ -1,4 +1,4 @@ (cram - (applies_to lissue1404) + (applies_to issue1404) (enabled_if (<> %{os_type} Win32)))