From 56c5b62dd6f441ef97ebeff7a6a970d0c301d62e Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 12 Feb 2016 02:36:12 +0100
Subject: [PATCH] Import notations last, otherwise things are not pretty
 printed.

---
 heap_lang/tests.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/heap_lang/tests.v b/heap_lang/tests.v
index 97f4a4678..90e890c90 100644
--- a/heap_lang/tests.v
+++ b/heap_lang/tests.v
@@ -1,6 +1,6 @@
 (** 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.
-- 
GitLab