diff --git a/src/kernel_services/parsetree/cabshelper.ml b/src/kernel_services/parsetree/cabshelper.ml
index 73412c8d1117136e8ea6b334e6602539c105dc64..98bfca99fad1154402b5b27145a88793feab1e91 100644
--- a/src/kernel_services/parsetree/cabshelper.ml
+++ b/src/kernel_services/parsetree/cabshelper.ml
@@ -235,6 +235,7 @@ let mk_behavior ?(name=Cil.default_behavior_name) ?(assumes=[]) ?(requires=[])
 let mk_asm_templates =
   let buf = Buffer.create 100 in
   let rec outer res = function
+    | [] when res = [] && Buffer.length buf = 0 -> [""]
     | [] when Buffer.length buf = 0 -> List.rev res
     | [] ->
        let res = List.rev @@ Buffer.contents buf :: res in