diff --git a/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy b/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy
index f6f70b866a61953bfe3bddf135c5eceb66416bb6..267b5e44111fb7a7cc891f525c7b1dd2a9879d4d 100644
--- a/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy
+++ b/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy
@@ -156,7 +156,7 @@ fun handle_declarations_wrapper ast v2 ctxt =
   end
 \<close>
 
-(*setup \<open>Context.theory_map (C_Module.Data_Accept.put (handle_declarations_wrapper))\<close> *)
+setup \<open>Context.theory_map (C_Module.Data_Accept.put (handle_declarations_wrapper))\<close> 
 
 (* Note: The hook "C_Module.C_Term.map_translation_unit" is not adequate, as it is 
          meant for the term antiquotation (its callback returns a term, not a theory/context *)
diff --git a/README_dev b/README_dev
index ac2d9407b3785a63d37e55eaebe514979308705a..f8dd26eec3f4ce3079a0bcd1782593d05ce2153d 100644
--- a/README_dev
+++ b/README_dev
@@ -9,3 +9,6 @@ START FOR EXAMPLE:
 cd Isabelle_C
 isabelle jedit -d . C11-BackEnds/Clean_wrapper/examples/Coder_Test_ExprStmt.thy
 
+Branch LorenzWinkler:
+cd Isabelle_C
+isabelle jedit -d C11-FrontEnd -d C11-BackEnds/Clean C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy