From 26c6f726621a7bc273b1611e2ce1fb5cc0327788 Mon Sep 17 00:00:00 2001
From: Alex Hirsch <w4rh4wk@bluephoenix.at>
Date: Thu, 15 Apr 2021 13:52:05 +0200
Subject: [PATCH] Spec: Clarify mc_cfg_to_dot output

---
 specification.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/specification.md b/specification.md
index c2353b7..d4503d6 100644
--- a/specification.md
+++ b/specification.md
@@ -517,14 +517,15 @@ This is the main compiler executable, sometimes referred to as *driver*.
     usage: mc_cfg_to_dot [OPTIONS] <file>
 
     Utility for printing a control flow graph in the DOT format. The output
-    can be visualised using graphviz. Errors are reported on invalid inputs.
+    contains multiple connected graphs, one per function. The output can be
+    visualised using graphviz. Errors are reported on invalid inputs.
 
     Use '-' as input file to read from stdin.
 
     OPTIONS:
       -h, --help                display this help message
       -o, --output <out-file>   write the output to <out-file> (defaults to stdout)
-      -f, --function <name>     print the CFG of the given function (defaults to 'main')
+      -f, --function <name>     print the CFG of the given function
 
 ### `mc_asm`