From c4176105d1385a7e560f733fc8f1c28aa0ff7c54 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Tue, 28 Jul 2020 10:08:41 +0000
Subject: [PATCH] Fix accidental deletion

---
 cpuid_x86.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpuid_x86.c b/cpuid_x86.c
index 2c910b186..c79b4d485 100644
--- a/cpuid_x86.c
+++ b/cpuid_x86.c
@@ -1456,7 +1456,7 @@ int get_cpuname(void){
       case  3:
       case  7:
       case 10:
-	return CPUTYPE_BARCELONA 
+	return CPUTYPE_BARCELONA;
       case  5:
 	return CPUTYPE_BOBCAT;
       case  6: