missing file

leodemoura · Feb 21, 2024 · cab8b60 · cab8b60
1 parent afc9283
commit cab8b60
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/Arm/Util.lean b/Arm/Util.lean
@@ -0,0 +1,9 @@
+/-
+Copyright (c) 2023 Amazon.com, Inc. or its affiliates. All Rights Reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author(s): Leonardo de Moura
+-/
+
+-- Helper macro for disabling code
+macro "FIXME " tacticSeq : tactic =>
+  `(tactic| sorry)