index 5fc21d12602820c8a4940e691aa6003a5f990a57..71be53f5e0ae25facb6d8821b2d5d30b86ff1862 100644 (file)
/*
- * Copyright (c) 2013, Texas Instruments Incorporated
+ * Copyright (c) 2013-2015, Texas Instruments Incorporated
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
extern "C" {
#endif
+/* Internal variable to enable/disable tracing throughout GateMP */
+extern Bool _GateMP_verbose;
+
/*!
* Start the GateMP module.
*/