diff --git a/examples/domestique.qet b/examples/domestique.qet index 539ffdaea..09c81844f 100644 --- a/examples/domestique.qet +++ b/examples/domestique.qet @@ -1,5 +1,10 @@ - - + + + + + + + @@ -337,4 +342,5 @@ + diff --git a/examples/double_sens.qet b/examples/double_sens.qet index 915d81c27..58228b101 100644 --- a/examples/double_sens.qet +++ b/examples/double_sens.qet @@ -1,5 +1,10 @@ - - + + + + + + + @@ -380,4 +385,5 @@ +