From b50075866384ee5a35c0fd0147cb607d4e4977d2 Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Wed, 1 Apr 2020 17:46:55 +0400
Subject: do not re-export ListNotations from Program

---
 theories/Program/Syntax.v | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'theories/Program/Syntax.v')

diff --git a/theories/Program/Syntax.v b/theories/Program/Syntax.v
index 03401aea2b..7a8ddbe71e 100644
--- a/theories/Program/Syntax.v
+++ b/theories/Program/Syntax.v
@@ -30,7 +30,4 @@ Arguments snd {A B} _.
 Arguments nil {A}.
 Arguments cons {A} _ _.
 
-Require List.
-Export List.ListNotations.
-
 Require Import Bvector.
-- 
cgit v1.2.3