From 750c615e7f01d44db4a7d504024b3681a56d8a78 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 19 Oct 2014 18:42:03 +0200
Subject: [PATCH] minor indenting corrections

---
 frontends/ast/ast.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
index e41416efc..7a7bd3038 100644
--- a/frontends/ast/ast.cc
+++ b/frontends/ast/ast.cc
@@ -34,9 +34,9 @@
 #include <stdarg.h>
 
 #if defined(__APPLE__)
-#include <cmath>
+#  include <cmath>
 #else
-#include <math.h>
+#  include <math.h>
 #endif
 
 YOSYS_NAMESPACE_BEGIN
-- 
2.30.2