From 0209c6fa042c0003e1329608aa19c445a0be2875 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Mon, 12 Sep 2022 16:18:58 +0200
Subject: [PATCH] update util lib

---
 src/util/Misc.h | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/util/Misc.h b/src/util/Misc.h
index d27e79e..66bc65f 100644
--- a/src/util/Misc.h
+++ b/src/util/Misc.h
@@ -10,7 +10,6 @@
 #include <chrono>
 #include <sstream>
 #include <iomanip>
-#include <immintrin.h>
 #include <iostream>
 #include <sstream>
 #include <vector>
@@ -289,11 +288,6 @@ inline std::string readableSize(double size) {
   return readableSize(size, buffer);
 }
 
-// _____________________________________________________________________________
-inline float f_rsqrt(float x) {
-  return _mm_cvtss_f32(_mm_rsqrt_ss(_mm_set_ss(x)));
-}
-
 // _____________________________________________________________________________
 inline std::string getTmpDir() {
   // first, check if an env variable is set