write_smt2: fix SMT-LIB tutorial URL

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 0423b977a4bfb7fcc90809358694b830529f4e60..4a53ce6d5d416c3b1a7d90f89086a77c33baff71 100644 (file)
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -1403,7 +1403,7 @@ struct Smt2Backend : public Backend {
                log("        the given option as a `(set-option ...)` command in the SMT-LIBv2.\n");
                log("\n");
                log("[1] For more information on SMT-LIBv2 visit http://smt-lib.org/ or read David\n");
-               log("R. Cok's tutorial: http://www.grammatech.com/resources/smt/SMTLIBTutorial.pdf\n");
+               log("R. Cok's tutorial: https://smtlib.github.io/jSMTLIB/SMTLIBTutorial.pdf\n");
                log("\n");
                log("---------------------------------------------------------------------------\n");
                log("\n");