Fix spelling of SMTLIB2 sign_extend operator

(underscore not hyphen)
muh4f1z · Nov 3, 2014 · 1c49eb9 · 1c49eb9
1 parent a65c6a9
commit 1c49eb9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocaml/smt_lib2.ml b/ocaml/smt_lib2.ml
@@ -474,7 +474,7 @@ object (self)
 		"(ite ", " " ^ (make_ones bits) ^
 		   " " ^ (make_zeros bits) ^ ")"
 	    | (CAST_SIGNED, _, _)  ->
-		("((_ sign-extend " ^ string_of_int(bits-bits1) ^ ") ", ")")
+		("((_ sign_extend " ^ string_of_int(bits-bits1) ^ ") ", ")")
 	    | (CAST_LOW, _, REG_1) ->
 		("(= #b1 ((_ extract "^string_of_int(bits - 1)^" 0) ", "))")
 	    | (CAST_LOW, _, _) ->