From 623c6d1e589799070e9966c36cf4356a1f53d201 Mon Sep 17 00:00:00 2001 From: Samuel Hammersberg Date: Mon, 27 Mar 2023 16:11:33 +0200 Subject: [PATCH] Fixed language.cabal. --- language.cabal | 1 - 1 file changed, 1 deletion(-) diff --git a/language.cabal b/language.cabal index 61724ee..348d0c5 100644 --- a/language.cabal +++ b/language.cabal @@ -32,7 +32,6 @@ executable language Grammar.ErrM Auxiliary Renamer.Renamer - TypeChecker.TypeChecker TypeChecker.TypeCheckerHm TypeChecker.TypeCheckerBidir TypeChecker.TypeCheckerIr