From ca0541145d4443505be1c37a5e30f8b65fb9144e Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Sun, 13 Feb 2022 16:29:19 +0000
Subject: Add Barrett implementation to Everything

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

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index f3f1bda..aa36309 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -60,5 +60,8 @@ import Helium.Instructions.Base
 -- Definitions of the data for a subset of Armv8-M instructions.
 import Helium.Instructions.Core
 
+-- Implementation of Barrett reduction.
+import Helium.Instructions.Instances.Barrett
+
 -- Base definitions for the denotational semantics.
 import Helium.Semantics.Denotational.Core
-- 
cgit v1.2.3