Update the building command for the spec#136

pietercolpaert merged 1 commit intomasterTREEcg/specification:masterfrom

constraintAutomaton-patch-1TREEcg/specification:constraintAutomaton-patch-1Copy head branch name to clipboard