Skip to content
Commit 79a72a09 authored by Kaushik Kulkarni's avatar Kaushik Kulkarni Committed by Andreas Klöckner
Browse files

correctly realize reduction guarded by predicates

parent 1032cd2a