aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--readme.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/readme.txt b/readme.txt
index 569cc2c..cae51e9 100644
--- a/readme.txt
+++ b/readme.txt
@@ -1,6 +1,6 @@
1compiler design 1compiler design
2--------------- 2---------------
3 3
4run experiment <N>: 4run experiment N:
5 5
6 nix run . -- <N> 6 nix run .#N