From 53f4d79c4f3dde95e1e08f81f37024c1011fd6be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=EC=A0=95=EC=8B=9C=EC=9B=90?= <sebastianrcnt@yonsei.ac.kr>
Date: Sun, 16 Aug 2026 21:55:28 +0900
Subject: [PATCH] expose ownership flags to M7 emitter

---
 fec/src/emit_c.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fec/src/emit_c.h b/fec/src/emit_c.h
index 10634a8..8be10e6 100644
--- a/fec/src/emit_c.h
+++ b/fec/src/emit_c.h
@@ -2,6 +2,7 @@
 #define FE_EMIT_C_H
 
 #include "check.h"
+#include "own.h"
 
 typedef struct FeEmitter {
     FILE *out;