4 lines
69 B
Coq
4 lines
69 B
Coq
[myproc
|
|
['new error' 1 2 3] throw
|
|
'should not come here' puts
|
|
].
|
[myproc
|
|
['new error' 1 2 3] throw
|
|
'should not come here' puts
|
|
].
|