From 83f29fdd79665858717790d3213a8dbbd6b693e3 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Wed, 19 Jan 2022 16:56:24 +0000
Subject: Rename pseudocode file.

This is anticipating the addition of pseudocode as a data type. That
should make the denotational semantics much more performant, and allows
the addition of new forms of semantics without duplicating effort.
---
 src/Helium/Semantics/Denotational.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Helium/Semantics')

diff --git a/src/Helium/Semantics/Denotational.agda b/src/Helium/Semantics/Denotational.agda
index 046fff8..8e521ea 100644
--- a/src/Helium/Semantics/Denotational.agda
+++ b/src/Helium/Semantics/Denotational.agda
@@ -6,7 +6,7 @@
 
 {-# OPTIONS --safe --without-K #-}
 
-open import Helium.Data.Pseudocode
+open import Helium.Data.Pseudocode.Types
 
 module Helium.Semantics.Denotational
   {b₁ b₂ i₁ i₂ i₃ r₁ r₂ r₃}
-- 
cgit v1.2.3