diff --git a/src/compiler/isaspec/encode.py b/src/compiler/isaspec/encode.py
index 1bb0f925da6..a0bfbf55b73 100755
--- a/src/compiler/isaspec/encode.py
+++ b/src/compiler/isaspec/encode.py
@@ -647,7 +647,6 @@ isa = s.isa
       {}  /* in case no unconditional field to close out last '} else' */
     ${case_post(root, case.expr)}
 %endfor
-      return val;
 """
 
 xml = sys.argv[1]