fix compile errors for Logic.v