Merge branch 'patch-1' into 'master'

Typo in a comment.

See merge request !1

questions.py

@@ -14,7 +14,7 @@
 # GNU General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program.  If not, see <https://www.gnu.org/licenses/>from z3 import *
+# along with this program.  If not, see <https://www.gnu.org/licenses/>
 
 
 from montant import *