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