Rename std::istr to std::str. Issue #855
This commit is contained in:
parent
913667ba25
commit
ab6bb035e5
112 changed files with 741 additions and 741 deletions
|
@ -1,6 +1,6 @@
|
|||
// Type encoding
|
||||
|
||||
import std::istr;
|
||||
import std::str;
|
||||
import std::io;
|
||||
import std::map::hashmap;
|
||||
import std::option::some;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue