From 3d0ccb81c69eba5862192d43ea37be428819ca14 Mon Sep 17 00:00:00 2001
From: Ayke van Laethem <aykevanlaethem@gmail.com>
Date: Mon, 5 Nov 2018 13:10:16 +0100
Subject: [PATCH] main: fix -initinterp flag

It got accidentally replaced by -interp just before finalizing the
previous commit.
---
 main.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.go b/main.go
index f92f2ae9..524a6fa6 100644
--- a/main.go
+++ b/main.go
@@ -435,7 +435,7 @@ func main() {
 	printSize := flag.String("size", "", "print sizes (none, short, full)")
 	nodebug := flag.Bool("no-debug", false, "disable DWARF debug symbol generation")
 	ocdOutput := flag.Bool("ocd-output", false, "print OCD daemon output during debug")
-	initInterp := flag.Bool("interp", false, "enable experimental partial evaluator of generated IR")
+	initInterp := flag.Bool("initinterp", false, "enable experimental partial evaluator of generated IR")
 	port := flag.String("port", "/dev/ttyACM0", "flash port")
 
 	if len(os.Args) < 2 {