revert previous change

This commit is contained in:
jvelilla
2013-10-04 12:53:31 -03:00
parent b97073b14a
commit 82fdd53adb

View File

@@ -9,7 +9,7 @@
<exclude>/.svn$</exclude>
</file_rule>
<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="standard">
<assertions precondition="true" postcondition="true" invariant="true"/>
<assertions precondition="true"/>
</option>
<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
<library name="http" location="..\http\http-safe.ecf" readonly="false"/>