tools/dimacs-to-lgf.cc
changeset 631 33c6b6e755cd
parent 608 6e0525ec5355
child 1397 d7e25df22e88
     1.1 --- a/tools/dimacs-to-lgf.cc	Tue Apr 14 10:40:33 2009 +0100
     1.2 +++ b/tools/dimacs-to-lgf.cc	Wed Apr 15 02:04:37 2009 +0200
     1.3 @@ -24,11 +24,10 @@
     1.4  /// (LGF).
     1.5  ///
     1.6  /// See
     1.7 -/// \verbatim
     1.8 -///  dimacs-to-lgf --help
     1.9 -/// \endverbatim
    1.10 -/// for more info on usage.
    1.11 -///
    1.12 +/// \code
    1.13 +///   dimacs-to-lgf --help
    1.14 +/// \endcode
    1.15 +/// for more info on the usage.
    1.16  
    1.17  #include <iostream>
    1.18  #include <fstream>