1 files changed, 1 insertions, 1 deletions
diff --git a/src/QInst.v b/src/QInst.v
index 356fe15..d891fe2 100644
--- a/src/QInst.v
+++ b/src/QInst.v
@@ -190,7 +190,7 @@ Ltac vauto :=
                end
              ]
       );
-  auto.
+  auto with smtcoq_core.