X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_string.h;h=607130d8c13d1a903cb3a6f9ca6a9c2725dcd7d2;hp=975a3d1acf16ff8b400627c0ebadeaae5825a908;hb=0dc6c1ec345d5c48e348b7e6532e5dcec00fa2ff;hpb=eed2bbeb750b15b7cc975ba213e5707168e9c932

diff --git a/palacios/include/palacios/vmm_string.h b/palacios/include/palacios/vmm_string.h
index 975a3d1..607130d 100644
--- a/palacios/include/palacios/vmm_string.h
+++ b/palacios/include/palacios/vmm_string.h
@@ -56,10 +56,6 @@ char *strrchr(const char *s, int c);
 char *strpbrk(const char *s, const char *accept);
 
 
-double v3_ceil(double x);
-
-
-
 #endif // !__V3VEE__
 
 #endif  /* STRING_H */