From eb2ae1eb344fc287bb1bf9a45aa58bc721f5b605 Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Fri, 21 Jun 2024 03:32:11 +0200
Subject: [PATCH] Fix

---
 aspUnify.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/aspUnify.tex b/aspUnify.tex
index a9a8dd0..a984922 100644
--- a/aspUnify.tex
+++ b/aspUnify.tex
@@ -245,7 +245,7 @@ Result:
 \inferrule[Solution]{
     \tv{a} \doteq \type{G}
 }{
-    \sigma(\tv{a}) = \type{N}
+    \sigma(\tv{a}) = \type{G}
 }
 % \and
 % \inferrule[Generic]{