M README.md → README.md

@@ -37,7 +37,7 @@ `===` : This operator defines a constraint. The constraint must be simplificable to a constraint of the form `a*b+c=0`, where `a`, `b` and `c` are linear combinations of the signals.
 
 In the above example, both inputs are forced to be binary by adding the constraints `a*(a-1)===0` and `b*(b-1) === 0`.
 
-### Compile the circuit
+### Compilation the circuit
 
 First of all, the compiler must be installed typing: