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

* iface/gspn/ssp.cc: Pacify sanity.test.

parent a390fe07
2006-02-05 Alexandre Duret-Lutz <adl@gnu.org>
* iface/gspn/ssp.cc: Pacify sanity.test.
2006-02-03 Alexandre Duret-Lutz <adl@src.lip6.fr>
* iface/gspn/ssp.cc (couvreur99_check_shy_ssp::find_state): Typo.
......
// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de Paris 6 (LIP6),
// dpartement Systmes Rpartis Coopratifs (SRC), Universit Pierre
// et Marie Curie.
// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
// Paris 6 (LIP6), dpartement Systmes Rpartis Coopratifs (SRC),
// Universit Pierre et Marie Curie.
//
// This file is part of Spot, a model checking library.
//
......
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