diff options
Diffstat (limited to 'stdlib/scanf.ml')
| -rw-r--r-- | stdlib/scanf.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml index 948808830c..a623e46af5 100644 --- a/stdlib/scanf.ml +++ b/stdlib/scanf.ml @@ -1163,6 +1163,9 @@ fun ib fmt readers -> match fmt with | Float_E | Float_pE | Float_sE | Float_g | Float_pg | Float_sg | Float_G | Float_pG | Float_sG), pad, prec, rest) -> pad_prec_scanf ib rest readers pad prec scan_float token_float + | Float ((Float_h | Float_ph | Float_sh | Float_H | Float_pH | Float_sH), + _pad, _prec, _rest) -> + assert false (* TODO *) | Bool rest -> let _ = scan_bool ib in |