Note that currently `TADDR` is not defined in `symbolreader.h` and
variables of this type are not used.
// Copyright (c) 2017 Samsung Electronics Co., LTD
-#include "common.h"
+#include "symbolreader.h"
-#include <string>
-#include <vector>
+#include <coreclrhost.h>
+#include "platform.h"
+#include "torelease.h"
#include "cputil.h"
-#include "symbolreader.h"
-#include "platform.h"
// Suppress undefined reference
// `_invalid_parameter(char16_t const*, char16_t const*, char16_t const*, unsigned int, unsigned long)':
// See the LICENSE file in the project root for more information.
// Copyright (c) 2017 Samsung Electronics Co., LTD
+#pragma once
+
+#include <string>
+#include <vector>
+
+#include <cor.h>
+#include <cordebug.h>
+
+/// FIXME: Definition of `TADDR`
+#include "torelease.h"
static const char *SymbolReaderDllName = "SymbolReader";
static const char *SymbolReaderClassName = "SOS.SymbolReader";