diff --git a/test/oblivc/euclidean/euclidean.oc b/test/oblivc/euclidean/euclidean.oc
index 759ceb0a..fc3ac5b0 100644
--- a/test/oblivc/euclidean/euclidean.oc
+++ b/test/oblivc/euclidean/euclidean.oc
@@ -1,5 +1,4 @@
 #include <stdio.h>
-#include <math.h>
 #include <obliv.oh>
 
 #include "dbg.h"