From 2c613127c92ab96ca8b02ff7b1866df1ad9ad1c0 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 13 Sep 2018 18:29:14 +0200 Subject: Explain pragmas. --- docs/installing-solidity.rst | 2 ++ 1 file changed, 2 insertions(+) (limited to 'docs/installing-solidity.rst') diff --git a/docs/installing-solidity.rst b/docs/installing-solidity.rst index 3332a83b..ba373b8f 100644 --- a/docs/installing-solidity.rst +++ b/docs/installing-solidity.rst @@ -303,6 +303,8 @@ CMake options If you are interested what CMake options are available run ``cmake .. -LH``. +.. _smt_solvers_build: + SMT Solvers ----------- Solidity can be built against SMT solvers and will do so by default if -- cgit v1.2.3