From 6136bbbee9cf9a9c1d5faf5d375eac65f409c337 Mon Sep 17 00:00:00 2001
From: Tom N <tfwnicholson+1@gmail.com>
Date: Wed, 4 Dec 2019 18:03:19 +0900
Subject: [PATCH] Remove extraneous import from examples

---
 examples/example1.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/example1.v b/examples/example1.v
index 67d6eb6..ce94024 100644
--- a/examples/example1.v
+++ b/examples/example1.v
@@ -29,7 +29,6 @@
 
 
 Require Export checker.
-Require Export notation.
 
 
 (* v≥0∧A≥0 → [x'=v,v'=A&true] v≥0 *)