From b7ffbc40eca528e3aae46d004c1ad8e6fd013530 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Wed, 16 Jan 2019 23:05:43 +0100
Subject: [PATCH] Update ddot_microk_sandy-2.c

---
 kernel/x86_64/ddot_microk_sandy-2.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/x86_64/ddot_microk_sandy-2.c b/kernel/x86_64/ddot_microk_sandy-2.c
index e57eb37ea..28b1a8bd1 100644
--- a/kernel/x86_64/ddot_microk_sandy-2.c
+++ b/kernel/x86_64/ddot_microk_sandy-2.c
@@ -81,10 +81,10 @@ static void ddot_kernel_8( BLASLONG n, FLOAT *x, FLOAT *y, FLOAT *dot)
 	"vmovsd		%%xmm4,    (%4)		\n\t"
 	"vzeroupper				\n\t"
 
-	:
-        : 
+	: 
           "+r" (i),	// 0	
 	  "+r" (n),  	// 1
+        :
           "r" (x),      // 2
           "r" (y),      // 3
           "r" (dot)     // 4