X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_string.h;h=607130d8c13d1a903cb3a6f9ca6a9c2725dcd7d2;hb=39849abeb743c4e6b669a790c307979fa8d51884;hp=60155a08121936bc17169447e89070c81fd3191a;hpb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;p=palacios.git

diff --git a/palacios/include/palacios/vmm_string.h b/palacios/include/palacios/vmm_string.h
index 60155a0..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 ceil(double x);
-
-
-
 #endif // !__V3VEE__
 
 #endif  /* STRING_H */