public void setCompilerSpecID(String compiler) {
		this.compilerSpecID = null;
		if (compiler != null) {
			String translated = this.translateCompiler(compiler);
			CompilerSpecID cspec = new CompilerSpecID(translated);
			this.compilerSpecID = cspec;
		}
	}
Returns true if the tool was IDA-PRO.
@return true if the tool was IDA-PRO
Ghidra/Features/Base/src/main/java/ghidra/app/util/xml/ProgramInfo.java