Commit 379e0d5e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgba/tgbascc.cc: Cosmetics.

parent 64f0f653
// Copyright (C) 2009 Laboratoire de recherche et développement de l'Epita.
// Copyright (C) 2009, 2012 Laboratoire de recherche et développement de l'Epita.
//
// This file is part of Spot, a model checking library.
//
......@@ -79,8 +79,7 @@ namespace spot
}
state*
tgba_scc::project_state(const state* s,
const tgba* t) const
tgba_scc::project_state(const state* s, const tgba* t) const
{
return aut_->project_state(s, t);
}
......
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