From 8a272830d6c9fad0e8bce056ce27f253797e5459 Mon Sep 17 00:00:00 2001
From: Prevosto Virgile <virgile.prevosto@centralesupelec.fr>
Date: Fri, 28 Mar 2025 09:15:45 +0000
Subject: [PATCH] add missing import

---
 Pystan/config/sign_analysis.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pystan/config/sign_analysis.py b/Pystan/config/sign_analysis.py
index 61bd064..1988c81 100644
--- a/Pystan/config/sign_analysis.py
+++ b/Pystan/config/sign_analysis.py
@@ -2,7 +2,7 @@
 """
 implements a sign analysis
 """
-from enum import Enum
+from enum import Enum, auto
 from dataclasses import dataclass
 from cfg import Cfg
 from iteration import Transfer, fixpoint_iteration
-- 
GitLab