Commit 3721ffb4 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/main.cpp: Fix constness for formula* to accommodate Spot 0.9.

parent 6456fa70
// Copyright (C) 2010, 2011 Laboratoire de Recherche et dveloppement de
// Copyright (C) 2010, 2011, 2012 Laboratoire de Recherche et dveloppement de
// l'Epita.
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// dpartement Systmes Rpartis Coopratifs (SRC), Universit Pierre
......@@ -215,7 +215,7 @@ int main(int argc, const char *argv[]) {
spot::ltl::parse_error_list pel;
spot::ltl::formula* f = spot::ltl::parse(ltl_string, pel);
const spot::ltl::formula* f = spot::ltl::parse(ltl_string, pel);
if (!spot::ltl::format_parse_errors(std::cerr, ltl_string, pel))
model_check(n, f, ce_expected, mca,
fm_exprop_opt, fm_symb_merge_opt,
......
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