Skip to content
Snippets Groups Projects
Commit 99d301af authored by Christoph's avatar Christoph
Browse files

Replace A by a and E by e in testsuite

A and E are syntax elements in CTL
"Fixes" the testsuite for K
parent 3285ac30
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment