Error message about Error locations

[varosi]

On Atom 1.30 on Windows 10 x64 I got that message:

(0,0-0,0): (Warning 281) Error locations may be wrong, unrecognized string after #push:

on the erroneous program:

module Hello

let main = aksldjaskl

F* version downloaded as a binary from the official site:

C:\Users\Some>fstar --version
F* 0.9.6.0
platform=Windows_x64
compiler=OCaml 4.05.0
date=2018-05-17T15:32:12-07:00
commit=743819b90 (dirty)