small change: not using path when includes the header file as Brian suggested.
authoryeom <yeom>
Thu, 28 Oct 2010 00:00:26 +0000 (00:00 +0000)
committeryeom <yeom>
Thu, 28 Oct 2010 00:00:26 +0000 (00:00 +0000)
commit925aedded5c0379bbaebe532733365ec97ec3362
treea728c7be5c63049b7b6582e14472ce2fa643e64d
parentd639fd3523b44b4d06d3787415437e6c6862cee4
small change: not using path when includes the header file as Brian suggested.
Robust/src/IR/Flat/BuildCode.java