]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76992b8) | patch
oceani: accept MULTI_STRING as well as STRING
authorNeilBrown <neil@brown.name>
Sun, 12 Oct 2014 23:38:05 +0000 (10:38 +1100)
committerNeilBrown <neil@brown.name>
Sun, 12 Oct 2014 23:38:05 +0000 (10:38 +1100)
commitcaa6e6a070280eb12ea4374947d3f42c73b58412
tree71b3b76bd4834ba271a6fdebd82d97ac1d273144tree | snapshot
parent76992b8468bbd88da50e85d8636e870f3b2d6ab8commit | diff
oceani: accept MULTI_STRING as well as STRING

The scanner produces two types of strings - we need to accept
them both.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani.mdc diff | blob | history
The Ocean Language Project