diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-26 12:34:39 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-26 12:34:39 +0200 |
| commit | 3b62063cc5a6ffa93cef34b1f55313795f50588a (patch) | |
| tree | d600d0568e1fd651ce487ac346a008145e4b87da | |
| parent | 2f68e17be6e2b45f673a207a3cc2813b52a1541e (diff) | |
Update Unit.hs
| -rw-r--r-- | source/Test/Unit.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/source/Test/Unit.hs b/source/Test/Unit.hs index 0223922..5b4cfb4 100644 --- a/source/Test/Unit.hs +++ b/source/Test/Unit.hs @@ -7,7 +7,6 @@ import Test.Unit.Checking qualified as Checking import Test.Unit.Html qualified as Html import Test.Unit.Provers qualified as Provers import Test.Unit.Symdiff qualified as Symdiff -import Test.Unit.Syntax qualified as Syntax import Test.Unit.Token qualified as Token unitTests :: TestTree @@ -16,7 +15,6 @@ unitTests = testGroup "unit tests" , Checking.unitTests , Html.unitTests , Provers.unitTests - , Syntax.unitTests -- include the Syntax.DeBruijn tests , Token.unitTests ] |