From 867b0bcec07a9e7d88145e791331f3cf3820adfe Mon Sep 17 00:00:00 2001
From: Meng Xu <meng.xu.cs@uwaterloo.ca>
Date: Mon, 16 Jan 2023 21:36:57 -0500
Subject: [PATCH] fixup! [move-prover] model type_name::get in stdlib

---
 .../move-prover/tests/sources/functional/nonlinear_arithm.move  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/language/move-prover/tests/sources/functional/nonlinear_arithm.move b/language/move-prover/tests/sources/functional/nonlinear_arithm.move
index 1ba58c9278..3551ddf3bf 100644
--- a/language/move-prover/tests/sources/functional/nonlinear_arithm.move
+++ b/language/move-prover/tests/sources/functional/nonlinear_arithm.move
@@ -1,6 +1,6 @@
 // exclude_for: simplify
 // exclude_for: cvc5
-// simplify and cvc5 are exculded due to timeout
+// flag: --timeout=160
 module 0x42::TestNonlinearArithmetic {
 
     spec module {