Printing of hypothesis in Vscoq2

There seems to be a change in the indentation for assumption

in vscoq1 : 
```coq
F1: forall (n : Z) (x : R),
    IZR n <= x < IZR (n + 1) -> Zfloor x = n
```
in vscoq 2:
```coq
F1: forall (n : Z) (x : R),
IZR n <= x < IZR (n + 1) -> Zfloor x = n
  ```
