From d757b0b46458ca4f67080c84755b086f6e700b70 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Mon, 27 Sep 2021 20:47:49 +0200
Subject: better fail

---
 exportclight/ExportClight.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'exportclight')

diff --git a/exportclight/ExportClight.ml b/exportclight/ExportClight.ml
index 9937e5e7..e6d08d4f 100644
--- a/exportclight/ExportClight.ml
+++ b/exportclight/ExportClight.ml
@@ -288,7 +288,7 @@ let external_function p = function
               signatur sg
               (print_list coqstring) clob
   | EF_profiling(id, kind) ->
-     fprintf p "EF_profiling" (* should not happen *)
+     failwith "EF_profiling in ExportClight" (* should not happen *)
 
 (* Expressions *)
 
-- 
cgit