This repository has been archived by the owner on Jul 30, 2018. It is now read-only.
use the global precedence when checking to invalidate#687
Merged
agubler merged 1 commit intodojo:master from agubler:check-with-right-precedenceSep 20, 2017
+31-3