(* Check that reset remains synchronised with the compilation unit cache *)
(* See BZ#1030 *)

Section multiset_defs.
  Require Import Plus.
End multiset_defs.
Unset Implicit Arguments.
Back 1.