Merge pull request 'master' (#11) from master into unstable
Reviewed-on: #11
This commit was merged in pull request #11.
This commit is contained in:
@@ -412,6 +412,9 @@ void printGroundInstruction(GroundInstruction* gi) {
|
||||
break;
|
||||
case CREATELABEL:
|
||||
break;
|
||||
case ERRORCMD:
|
||||
printf("error");
|
||||
break;
|
||||
default:
|
||||
printf("FIXME");
|
||||
break;
|
||||
|
||||
Reference in New Issue
Block a user