Fix compiler warning in hashsmt example (#1927)

[cvc5.git] / .settings / language.settings.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project>
        <configuration id="cdt.managedbuild.toolchain.gnu.base.1461790692" name="Default">
                <extension point="org.eclipse.cdt.core.LanguageSettingsProvider">
                        <provider copy-of="extension" id="org.eclipse.cdt.ui.UserLanguageSettingsProvider"/>
                        <provider-reference id="org.eclipse.cdt.managedbuilder.core.MBSLanguageSettingsProvider" ref="shared-provider"/>
                </extension>
        </configuration>
</project>