Verified Commit 3f94790f authored by Camil Staps's avatar Camil Staps
Browse files

GraphCopy: fix Windows export_clean_symbol for __Nil and __None (again)

parent 57d39c0b
......@@ -111,9 +111,9 @@ exported_clean_symbol_length_le_8 s
| size s==8 && s.[6]=='t' && s.[7]=='s'
= True;
= False;
| size s==3 && s.[2]=='N' && s.[3]=='i' && s.[4]=='l'
| size s==5 && s.[2]=='N' && s.[3]=='i' && s.[4]=='l'
= True;
| size s==4 && s.[2]=='N' && s.[3]=='o' && s.[4]=='n' && s.[5]=='e'
| size s==6 && s.[2]=='N' && s.[3]=='o' && s.[4]=='n' && s.[5]=='e'
= True;
| size s==7 && s.[2]=='T' && s.[3]=='u' && s.[4]=='p' && s.[5]=='l' && s.[6]=='e'
= True;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment