Fix tagged struct

utwente-fmt · Feb 28, 2025 · 54f8116 · 54f8116
1 parent a91ec7d
commit 54f8116
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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