Commit 56c5b62d authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Import notations last, otherwise things are not pretty printed.

parent 63d057dd
(** This file is essentially a bunch of testcases. *)
Require Import program_logic.ownership.
Require Import heap_lang.notation heap_lang.substitution heap_lang.tactics.
Require Import heap_lang.substitution heap_lang.tactics heap_lang.notation.
Import uPred.
Module LangTests.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment