common:minor fixes in API
a1b713bd16b1
Actions

Authored by georget on Nov 29 2018, 16:34.

Description

common:minor fixes in API

Committed

georget

Nov 29 2018, 16:34

Parents

rSPECMICPba5fd2e04664: chloride:minor small fixes

Branches

Unknown

Tags

Unknown

				Path
	M			src/specmicp_common/io/safe_config.hpp
	M			src/specmicp_common/micpsolver/micpsolver.inl
	M			src/specmicp_common/string_algorithms.cpp