From 45527abd50e67daaee560e0de725b54917f46e85 Mon Sep 17 00:00:00 2001
From: Martin Fredin <fredin.martin@gmail.com>
Date: Mon, 27 Mar 2023 16:10:02 +0200
Subject: [PATCH] Fix module name

---
 src/TypeChecker/TypeCheckerHm.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TypeChecker/TypeCheckerHm.hs b/src/TypeChecker/TypeCheckerHm.hs
index adcf033..a24a0b7 100644
--- a/src/TypeChecker/TypeCheckerHm.hs
+++ b/src/TypeChecker/TypeCheckerHm.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE OverloadedStrings #-}
 
 -- | A module for type checking and inference using algorithm W, Hindley-Milner
-module TypeChecker.TypeChecker where
+module TypeChecker.TypeCheckerHm where
 
 import           Auxiliary
 import           Control.Monad.Except