Commit a1370fed authored by VIGNET Pierre's avatar VIGNET Pierre

[lib] MCLQuery: fix typos

parent 7cf64feb
......@@ -375,17 +375,14 @@ class MCLSimpleQuery(object):
"""Print logical formulas in query"""
str_out = "Start_property: "
if self.start_prop:
str_out = str_out + self.start_prop
str_out = str_out + "\nInv property: "
str_out += self.start_prop
str_out += "\nInv property: "
if self.inv_prop:
str_out = str_out + self.inv_prop
str_out = str_out + "\nFinal property: "
str_out += self.inv_prop
str_out += "\nFinal property: "
if self.final_prop:
str_out = str_out + self.final_prop
str_out = str_out + "\nVariant property: "
str_out += self.final_prop
str_out += "\nVariant property: "
if self.variant_prop:
# str_out = str_out + self.variant_prop[0]
# for prop in self.variant_prop[1:]:
# str_out = str_out + ", " + prop
str_out = str_out + str(self.variant_prop)
str_out += str(self.variant_prop)
return str_out
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment