Merge pull request FStarLang#65 from FStarLang/cleanup-defines

Simplify the chain of ifdefs
tahina-pro · Oct 27, 2017 · eafc0e9 · eafc0e9
2 parents 1b655bc + c25f67a
commit eafc0e9
Show file tree

Hide file tree

Showing 5 changed files with 184 additions and 194 deletions.
diff --git a/.clang-format b/.clang-format
@@ -0,0 +1 @@
+IndentPPDirectives: AfterHash