From 54f811641c3a24b42fd7a773a475d46b40186410 Mon Sep 17 00:00:00 2001
From: Lars <l.b.vandenhaak@gmail.com>
Date: Fri, 28 Feb 2025 08:37:00 +0100
Subject: [PATCH] Fix tagged struct

---
 examples/concepts/c/tagged_struct.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/examples/concepts/c/tagged_struct.c b/examples/concepts/c/tagged_struct.c
index 74a7f8f52..abe388189 100644
--- a/examples/concepts/c/tagged_struct.c
+++ b/examples/concepts/c/tagged_struct.c
@@ -7,9 +7,6 @@ struct FElement { struct Element e; float *d; };
 
 void print_int(int v);
 
-//@ context_everywhere Perm(INT_TAG, read);
-//@ context_everywhere Perm(FLOAT_TAG, read);
-//@ context_everywhere INT_TAG != FLOAT_TAG;
 void baz() {
     int a = 1; // o6
     float f; // o7