From 3c30567c452f030267d0fb09465adf8d7b44a90d Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 8 Apr 2020 12:36:24 +0200
Subject: installed Profiling (not finished)

---
 backend/Profilingaux.ml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 backend/Profilingaux.ml

(limited to 'backend/Profilingaux.ml')

diff --git a/backend/Profilingaux.ml b/backend/Profilingaux.ml
new file mode 100644
index 00000000..ad963a48
--- /dev/null
+++ b/backend/Profilingaux.ml
@@ -0,0 +1,8 @@
+open Camlcoq
+open RTL
+   
+let function_id (f : coq_function) : Z.t =
+  Z.of_uint 0;;
+
+let branch_id (f_id : Z.t) (node : P.t) =
+  Z.of_uint 0;;
-- 
cgit