diff --git a/tp2/Pystan/config/__pycache__/constant_propagation.cpython-313.pyc b/tp2/Pystan/config/__pycache__/constant_propagation.cpython-313.pyc
index a61415a92a179c1a85bc691bebbbb3ca0b0af623..e469ac52eb0c08c2330ef255e7165b331686fa52 100644
Binary files a/tp2/Pystan/config/__pycache__/constant_propagation.cpython-313.pyc and b/tp2/Pystan/config/__pycache__/constant_propagation.cpython-313.pyc differ
diff --git a/tp2/Pystan/config/constant_propagation.py b/tp2/Pystan/config/constant_propagation.py
index 32d28f8c6b6eb2d8aba8637ae851ac7a7851794d..fae5ecf9a294a17d77045fab64bfa342cfdd0588 100644
--- a/tp2/Pystan/config/constant_propagation.py
+++ b/tp2/Pystan/config/constant_propagation.py
@@ -121,7 +121,7 @@ class Constant_propagation(Transfer[state]):
             return False
         else:
             for var in s1:
-                included = included and ((s1[var]==s2[var]) | (s1[var] == None))
+                included = included and ((s1[var]==s2[var]) | (s1[var] == abstract_value(None)))
             return included
 
     def tr_skip(self,s: state) -> state: