diff --git a/lib/lv6parser.mly b/lib/lv6parser.mly
index fbdf2e455d442d9cc4b83f818a2d78302aed0bf4..aed95bcd90b791cd5a866af80b0c32c9d25f6716 100644
--- a/lib/lv6parser.mly
+++ b/lib/lv6parser.mly
@@ -793,8 +793,8 @@ EquationList:   Equation
         ;
 Equation:   TK_ASSERT Expression TK_SEMICOL
         		{ ( [ {src = $1; it = $2} ] , [] ) }
-        |   Left TK_EQ Expression TK_SEMICOL
-        		{ ( [] , [ {src = $2; it = ($1, $3) } ] ) }
+        |   Left TK_EQ Pragma Expression Pragma  TK_SEMICOL
+        		{ ( [] , [ {src = add_pragma $2 ($3@$5); it = ($1, $4) } ] ) }
         ;