From 2bab61b2f25f18d18ecdeb972745ce02af1885a9 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 17 Jan 2013 13:41:11 +0100
Subject: [PATCH] Missing declaration.

---
 src/instr/instr_private.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index f746bbcd2a..82488cb9bb 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -208,6 +208,7 @@ int TRACE_smpi_is_computing(void);
 int TRACE_categorized (void);
 int TRACE_uncategorized (void);
 int TRACE_msg_process_is_enabled(void);
+int TRACE_msg_vm_is_enabled(void);
 int TRACE_buffer (void);
 int TRACE_onelink_only (void);
 int TRACE_disable_destroy (void);
-- 
2.20.1