fix small issue
This commit is contained in:
parent
362e102524
commit
95699308dd
|
@ -1857,7 +1857,7 @@
|
|||
[ans
|
||||
#t]
|
||||
[else
|
||||
(define-values (ft sg) (find-largest-simulating-subgraph-counterexample))
|
||||
(define-values (ft sg) (find-largest-simulating-subgraph-counterexample impl-rg spec-rg))
|
||||
(print-failing-trace ft impl-rg spec-rg)
|
||||
#f]))
|
||||
|
||||
|
|
Loading…
Reference in New Issue