Commit 57d39c0b authored by Steffen Michels's avatar Steffen Michels
Browse files

Merge branch 'fix-windows-symbols_in_program' into 'master'

GraphCopy: fix copy-paste bug in Windows exported_clean_symbol

See merge request !19
parents 6c367cc3 6b000419
......@@ -111,12 +111,10 @@ exported_clean_symbol_length_le_8 s
| size s==8 && s.[6]=='t' && s.[7]=='s'
= True;
= False;
| s.[i+2]=='N'
| s.[i+3]=='i' && s.[i+4]=='l' && s.[i+5]=='\0'
= True;
| s.[i+3]=='o' && s.[i+4]=='n' && s.[i+5]=='e' && s.[i+6] == '\0'
= True;
= False;
| size s==3 && 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'
= True;
| size s==7 && s.[2]=='T' && s.[3]=='u' && s.[4]=='p' && s.[5]=='l' && s.[6]=='e'
= True;
| size s==6 && s.[2]=='J' && s.[3]=='u' && s.[4]=='s' && s.[5]=='t'
......
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