From d7b24c552305f1bd8c49e253d14dcf4b1581df2c Mon Sep 17 00:00:00 2001
From: Zuhaitz Méndez Fernández de Aránguiz <zuhaitz@debian>
Date: Fri, 23 Jan 2026 17:29:30 +0000
Subject: Fix for #94

---
 src/main.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main.c')

diff --git a/src/main.c b/src/main.c
index da1bec6..17cbdf6 100644
--- a/src/main.c
+++ b/src/main.c
@@ -269,6 +269,12 @@ int main(int argc, char **argv)
         return 1;
     }
 
+    if (!validate_types(&ctx))
+    {
+        // Type validation failed
+        return 1;
+    }
+
     if (g_config.mode_check)
     {
         // Just verify
-- 
cgit v1.2.3