search

epfl-lara / leon

The Leon system for verification, synthesis, repair
Other
162 stars 49 forks source link

Make pretty printer more robust on weirdly shaped trees #283

Closed mantognini closed 7 years ago

mantognini commented 7 years ago

This is a quick hack prevent the pattern matching to fail.