package edu.tum.cup2.util.cup2cup2;

import java.util.List;
import java.util.Map;

public class Specification {

	public Specification(String pack, List<String> imp, List<String> codes,
			SymbolRegistry syms, Precedences precs, String start,
			Map<String, RightHandSide> prods) {
		// TODO Auto-generated constructor stub
	}

}
