Restore accidentally deleted line
Restore accidentally deleted line


Former-commit-id: dfeb90c7d61c7c6bbeecf624c6194ae029c03f91
darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide