Commit b10fe60b authored by Point Gerald's avatar Point Gerald
Browse files

fix a warning.

parent 2fd1ca06
......@@ -19,7 +19,7 @@ This command displays informations about existing denpendencies between objects
that compose the constraint automaton of node @cmdarg{node-id}. By default the command outputs dependency graph between all objects except events (i.e., assertions, transitions and variables) in @tool{dot} file format.
Several options can be specified:
@itemize {}
@itemize .
@item @option{--constraints}: display assertions that have not been converted into functional dependencies;
@item @option{--dot-func-deps}: display functional dependencies in @tool{dot} file format;
@item @option{--func-deps}: display discovered functional dependencies;
......
Supports Markdown
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