diff --git a/tests/value/enum.i b/tests/value/enum.i
index 808547c0c10ab277da5e77403cbd67dd563675f4..5f804bbbe59091950e20e9c9f31ff0549b1198fd 100644
--- a/tests/value/enum.i
+++ b/tests/value/enum.i
@@ -2,7 +2,7 @@
   
   STDOPT: #"-main f"
 */
-typedef enum counter {ZERO,ONE,TWO,LAST=TWO};
+enum counter {ZERO,ONE,TWO,LAST=TWO};
 
 int t [LAST + 1] = { 1 };
 int u [TWO + 1] = { 2 };
diff --git a/tests/value/oracle/enum.res.oracle b/tests/value/oracle/enum.res.oracle
index cbc565cc0f40018955b84c7012397b9ed9a49b10..c65343692b545464ab010a6e10926ed10f81c934 100644
--- a/tests/value/oracle/enum.res.oracle
+++ b/tests/value/oracle/enum.res.oracle
@@ -1,5 +1,4 @@
 [kernel] Parsing enum.i (no preprocessing)
-[kernel:parser:unnamed-typedef] enum.i:5: Warning: typedef without a name
 [eva] Analyzing a complete application starting at f
 [eva] Computing initial state
 [eva] Initial state computed