diff --git a/tests/Test.v b/tests/Test.v
index de3ffa5ef..ecfd01ab7 100644
--- a/tests/Test.v
+++ b/tests/Test.v
@@ -568,7 +568,7 @@ Section Elts.
     induction l as [|y l].
     simpl; intros; split; [destruct 1 | apply gt_irrefl].
     simpl. intro x; destruct (eqA_dec y x) as [Heq|Hneq].
-    rewrite Heq; intuition.
+    rewrite Heq; intuition auto with arith.
     pose (IHl x). intuition.
   Qed.
 
diff --git a/tests/graph.dpd.oracle b/tests/graph.dpd.oracle
index ffbc1519e..2fe7fc108 100644
--- a/tests/graph.dpd.oracle
+++ b/tests/graph.dpd.oracle
@@ -888,7 +888,7 @@ E: 125 179 [weight=1, ];
 E: 125 181 [weight=3, ];
 E: 125 182 [weight=11, ];
 E: 125 183 [weight=14, ];
-E: 126 127 [weight=29, ];
+E: 126 127 [weight=33, ];
 E: 126 170 [weight=27, ];
 E: 126 179 [weight=1, ];
 E: 126 181 [weight=2, ];