Merge pull request #84 from SergeyDegtyar/review_simple_group

Minor fix.

Merge pull request #84 from SergeyDegtyar/review_simple_group
Minor fix.
3685d10d · Miodrag Milanović · GitHub · 3842e7dc · 425e8889 · 3685d10d
Unverified Commit 3685d10d authored Dec 25, 2019 by Miodrag Milanović Committed by GitHub Dec 25, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

simple/submod/submod_error_fail.pat
+1 -1

No files found.
--- a/simple/submod/submod_error_fail.pat
+++ b/simple/submod/submod_error_fail.pat
-ERROR: More than one module selected: \top \fsm2
+ERROR: More than one module selected: \\top \\fsm2