/*******************************************************************************
 * Copyright (c) 2005-2006 Intel Corporation.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *    Randy D. Smith, Intel - Refactored several instantiations into one
 *
 * $Id: TPTPConfigBinding.h,v 1.17 2006/02/02 20:54:30 rsmith Exp $
 *******************************************************************************/ 

#ifndef TPTPCONFIGBINDING_H_
#define TPTPCONFIGBINDING_H_

/* NOTE: DEPRECATED!! MOVE TO USING tptp/TPTPConfig.h instead! */
#include "tptp/TPTPConfig.h"

#endif /*TPTPCONFIGBINDING_H_*/
