# HG changeset patch
# User Daniele Nicolodi <daniele.nicolodi@obspm.fr>
# Date 1392315482 -3600
# Node ID 8a94f1913b4edeef2734713efcb1280b9e052cb0
# Parent  fdd2f8fd77141cd12a3c0875b725c4ebecec4f42
Fix local header include

diff -r fdd2f8fd7714 -r 8a94f1913b4e data-provider.h
--- a/data-provider.h	Thu Feb 13 19:17:32 2014 +0100
+++ b/data-provider.h	Thu Feb 13 19:18:02 2014 +0100
@@ -1,7 +1,7 @@
 #ifndef __DATA_PROVIDER_H__
 #define __DATA_PROVIDER_H__
 
-#include <future.h>
+#include "future.h"
 
 /* data acquisition flag */
 extern int acquiring;
diff -r fdd2f8fd7714 -r 8a94f1913b4e fake-data-provider.c
--- a/fake-data-provider.c	Thu Feb 13 19:17:32 2014 +0100
+++ b/fake-data-provider.c	Thu Feb 13 19:18:02 2014 +0100
@@ -3,8 +3,8 @@
 #include <analysis.h>
 #include <userint.h>
 #include <utility.h>
-#include <future.h>
 
+#include "future.h"
 #include "data-provider.h"
 
 #define PERIOD 1.0