/*
 * market_split.h
 *
 *  Created on: 17/04/2017
 *      Author: pedro
 */

#ifndef SRC_CSPS_MARKET_SPLIT_H_
#define SRC_CSPS_MARKET_SPLIT_H_

void run_market_split(char* csp_inst_name);

#endif /* SRC_CSPS_MARKET_SPLIT_H_ */