From f90b25449dd42d877578399b57a46ae0e3e4c6d3 Mon Sep 17 00:00:00 2001
From: Nikola Matic <nikola.matic@ethereum.org>
Date: Thu, 8 Sep 2022 15:22:47 +0200
Subject: [PATCH] Fix SMT checker paper link

---
 docs/smtchecker.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst
index caa901713..6d2f4373b 100644
--- a/docs/smtchecker.rst
+++ b/docs/smtchecker.rst
@@ -684,7 +684,7 @@ Types that are not yet supported are abstracted by a single 256-bit unsigned
 integer, where their unsupported operations are ignored.
 
 For more details on how the SMT encoding works internally, see the paper
-`SMT-based Verification of Solidity Smart Contracts <https://github.com/leonardoalt/text/blob/master/solidity_isola_2018/main.pdf>`_.
+`SMT-based Verification of Solidity Smart Contracts <https://github.com/chriseth/solidity_isola/blob/master/main.pdf>`_.
 
 Function Calls
 ==============