diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
commit | 0d3b3ef04af50bd987979495e7e7ec3317b24b1c (patch) | |
tree | 812e679560e8c43563a8237eb996e18d81f8f69e /examples/ex10.subx | |
parent | 749d455ac3c6bcad8a09d96bc613aafc2af45292 (diff) | |
parent | b60d8c920ef988e8058c1e31bd0907643b60cb5d (diff) | |
download | mu-0d3b3ef04af50bd987979495e7e7ec3317b24b1c.tar.gz |
Merge branch 'master' into desugar
Diffstat (limited to 'examples/ex10.subx')
-rw-r--r-- | examples/ex10.subx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/ex10.subx b/examples/ex10.subx index 51cc0a8c..29188962 100644 --- a/examples/ex10.subx +++ b/examples/ex10.subx @@ -1,6 +1,6 @@ # String comparison: return 1 iff the two args passed in at the commandline are equal. # -# To run (from the subx directory): +# To run: # $ ./subx translate examples/ex10.subx -o examples/ex10 # $ ./subx run examples/ex10 abc abd # Expected result: |