Grocer >> Printings and graphs > printsep
printsep
prints a separator
PARAMETERS
- Input
out = the symbolic name of the file where the results are printed
- Output
nothing: all results are printed on the specified file
DESCRIPTION
Prints a separator at the end of a printing to make the presentation of results clearer.
AUTHOR
INRIA/Eric Dubois 2002