Quelle  bug14981.fake   Sprache: unbekannt

# -*- coq-prog-args: ("-async-proofs-command-error-resilience" "on"); -*-

ADD { Section Foo. }
ADD { Definition bar := Bar. }
ADD { End Foo. }
FAILJOIN