mirror of
https://github.com/LCPQ/quantum_package
synced 2024-12-22 20:35:19 +01:00
Correct end of line in basis file
This commit is contained in:
parent
49d85cf27c
commit
ee8d6db3c1
@ -36,7 +36,10 @@ let of_prim_coef_list pc =
|
|||||||
|
|
||||||
let read_one in_channel =
|
let read_one in_channel =
|
||||||
(* Fetch number of lines to read on first line *)
|
(* Fetch number of lines to read on first line *)
|
||||||
let buffer = input_line in_channel in
|
let buffer =
|
||||||
|
try input_line in_channel with
|
||||||
|
| End_of_file -> raise End_Of_Basis
|
||||||
|
in
|
||||||
if ( (String_ext.strip buffer) = "" ) then
|
if ( (String_ext.strip buffer) = "" ) then
|
||||||
raise End_Of_Basis;
|
raise End_Of_Basis;
|
||||||
let sym_str = String.sub buffer 0 2 in
|
let sym_str = String.sub buffer 0 2 in
|
||||||
|
Loading…
Reference in New Issue
Block a user