Permalink
Browse files

Fixed copy-paste error in function doc signaled in #471

  • Loading branch information...
mikand committed Jan 10, 2018
1 parent 765d2ce commit d8b5dad56c4c2782480d10108647c7f04bf219bd
Showing with 2 additions and 2 deletions.
  1. +2 −2 pysmt/shortcuts.py
View
@@ -1186,9 +1186,9 @@ def read_smtlib(fname):
def write_smtlib(formula, fname):
"""Reads the SMT formula from the given file.
"""Writes the given formula in Smt-Lib format to the given file.
:param formula: Specify the SMT formula to look for
:param formula: Specify the SMT formula to be written
:param fname: Specify the filename
"""
with open(fname, "w") as fout:

0 comments on commit d8b5dad

Please sign in to comment.