Princess driver: workaround a transformation bug

66958c36 · Jean-Christophe Filliatre · 97cfcde7 · 66958c36
Commit 66958c36 authored Jun 14, 2013 by Jean-Christophe Filliatre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

drivers/princess.drv drivers/princess.drv +1 -0

No files found.
--- a/drivers/princess.drv
+++ b/drivers/princess.drv
@@ -34,6 +34,7 @@ transformation "eliminate_algebraic"
 transformation "eliminate_let"
 transformation "eliminate_if"

+transformation "discriminate"
 transformation "encoding_smt"
 transformation "encoding_sort"