plasma-umass / cwhy

"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Apache License 2.0
272 stars 6 forks source link

[CI] PR to trigger CI on fix #53

Closed nicovank closed 8 months ago

nicovank commented 8 months ago

I messed up prompts regression in latest commit. Fixing it here.