From 6915398a9facdbd19cbfddb36a912143811e5030 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Wed, 2 Feb 2022 14:20:14 +0000
Subject: Add Helium.Data.Pseudocode to Everything.

---
 Everything.agda | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Everything.agda b/Everything.agda
index 2abf3e9..c88f419 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -48,6 +48,9 @@ import Helium.Algebra.Ordered.StrictTotal.Structures
 -- Some more algebraic structures
 import Helium.Algebra.Structures
 
+-- Definition of instructions using the Armv8-M pseudocode.
+import Helium.Data.Pseudocode
+
 -- Definition of the Armv8-M pseudocode.
 import Helium.Data.Pseudocode.Core
 
-- 
cgit v1.2.3