Akim Demaille d7f7fcd9c7 dot: also use a dot in the output ...

* src/print-graph.c (print_core): Use a dot instead of a point.
* doc/figs/example-reduce.gv, doc/figs/example-reduce.txt,
* doc/figs/example-shift.gv, doc/figs/example-shift.txt,
* doc/figs/example.gv: Update.
* tests/output.at, tests/report.at: Adjust.

2020-07-03 06:51:57 +02:00

381 B

Raw Blame History

View Raw