From babaaed32233a1af8a8ac9554b0efde6b072fa9e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 11 Feb 2019 17:59:46 -0800 Subject: [PATCH] chore(library/compiler/builtin): add remark --- src/library/compiler/builtin.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/library/compiler/builtin.cpp b/src/library/compiler/builtin.cpp index 15881c322a..bddf159045 100644 --- a/src/library/compiler/builtin.cpp +++ b/src/library/compiler/builtin.cpp @@ -3,6 +3,9 @@ Copyright (c) 2018 Microsoft Corporation. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. Authors: Leonardo de Moura, Max Wagner + +REMARK: ******* THIS FILE WILL BE DELETED ********* + It is being replaced with extern_attribute.cpp */ #include #include