Corrected bug in id mapping

13cfc4a1 · Alberto Ramos · f58bf9d5 · 13cfc4a1
Commit 13cfc4a1 authored Oct 19, 2020 by Alberto Ramos
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/ADerrorsCF.jl src/ADerrorsCF.jl +1 -1

No files found.
--- a/src/ADerrorsCF.jl
+++ b/src/ADerrorsCF.jl
@@ -66,7 +66,7 @@ function get_id_from_name(str::String, ws::wspace)
        id = ws.str2id[str]
    else
        if is_int32(str)
-            id = Base.tryparse(Int32, str)
+            id = convert(Int64, Base.tryparse(Int32, str))
        else
            id = get_new_id(ws)
        end