From 179eb23bb725e40b53bbd5e63026abd0655f25ac Mon Sep 17 00:00:00 2001
From: Dominick Grift <dominick.grift@defensec.nl>
Date: Wed, 18 Dec 2024 13:03:20 +0100
Subject: clean up dev.unconfined

---
 src/dev/stordev.cil | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/dev/stordev.cil')

diff --git a/src/dev/stordev.cil b/src/dev/stordev.cil
index a1ee7ef..7c95e03 100644
--- a/src/dev/stordev.cil
+++ b/src/dev/stordev.cil
@@ -185,4 +185,4 @@
 
 (in dev.unconfined
 
-    (call .stordev.readwrite.type (typeattr)))
+    (call .stordev.unconfined.type (typeattr)))
-- 
cgit v1.2.3