Ticket #322: SC.txt

File SC.txt, 495 bytes (added by RafalKolanski, 14 years ago)

Error generated by PG when trying to execute apply (moo)

Line 
1error in process filter: proof-shell-process-urgent-message: Wrong number of arguments: #[(str) "rqˆdbˆÂ ˆ cˆn?… )‡" [proof-trace-buffer str newline] 1 ("/home/rafalk/repos/l4.verified/isabelle/contrib/ProofGeneral/generic/pg-response.elc" . 12897)], 3
2error in process filter: Wrong number of arguments: #[(str) "rqˆdbˆÂ ˆ     cˆn?… )‡" [proof-trace-buffer str newline] 1 ("/home/rafalk/repos/l4.verified/isabelle/contrib/ProofGeneral/generic/pg-response.elc" . 12897)], 3
3