rcuja: remove unneeded headers
[urcu.git] / urcu / rcuja.h
index 83fc70e38c1ddc6930d2bd36e2e699a355bdb35f..164b05a3fdf481904270412e0225f042a42310df 100644 (file)
@@ -25,7 +25,6 @@
  * Include this file _after_ including your URCU flavor.
  */
 
-#include <stdint.h>
 #include <urcu/compiler.h>
 #include <urcu-call-rcu.h>
 #include <urcu-flavor.h>
This page took 0.021656 seconds and 4 git commands to generate.