diff --git a/reactics-bdd/in/tgc.rs b/examples/bdd/tgc.rs
similarity index 99%
rename from reactics-bdd/in/tgc.rs
rename to examples/bdd/tgc.rs
index 924e331..52d34a3 100644
--- a/reactics-bdd/in/tgc.rs
+++ b/examples/bdd/tgc.rs
@@ -46,3 +46,4 @@ context-automaton {
 rsctlk-property { f1 : EF( proc0.in ) AND EF( proc1.in ) AND EF( proc2.in ) }
 
 rsctlk-property { f2 : AG( proc0.in IMPLIES K[proc0](~proc1.in AND ~proc2.in) ) }
+