From 5a83962793a07778b3c25f4aafbf9d92debf2e5a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Recoules?= <frederic.recoules@cea.fr>
Date: Thu, 2 May 2019 11:26:07 +0200
Subject: [PATCH] [fix] no more empty list when empty template
---
src/kernel_services/parsetree/cabshelper.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/kernel_services/parsetree/cabshelper.ml b/src/kernel_services/parsetree/cabshelper.ml
index 73412c8d111..98bfca99fad 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
--
GitLab