diff --git a/restructuring/model/schedule/tdma/tdma_facts.v b/restructuring/analysis/facts/tdma.v
similarity index 99%
rename from restructuring/model/schedule/tdma/tdma_facts.v
rename to restructuring/analysis/facts/tdma.v
index e11594707cbe79d751f44a062d9f596f59f6864d..d7efce6d6750cbf3a0432b4b852bdac1b4a334bf 100644
--- a/restructuring/model/schedule/tdma/tdma_facts.v
+++ b/restructuring/analysis/facts/tdma.v
@@ -1,4 +1,4 @@
-Require Export rt.restructuring.model.schedule.tdma.tdma.
+Require Export rt.restructuring.model.schedule.tdma.
 Require Import rt.util.all.
 
 (** In this section, we define the properties of TDMA and prove some basic lemmas. *)
diff --git a/restructuring/model/schedule/tdma/tdma.v b/restructuring/model/schedule/tdma.v
similarity index 100%
rename from restructuring/model/schedule/tdma/tdma.v
rename to restructuring/model/schedule/tdma.v