tree 4e787e64146d7a7bef8c689887bdc841407194be
parent 960e239abb429da6f9c6718d12ffd5d649fa9892
author Nico Huber <nico.huber@secunet.com> 1776177465 +0200
committer Nico Huber <nico.h@gmx.de> 1780741380 +0000

gma pipe_setup: Replace helper function w/ assertions

The Scale() function was supposed to help with the proof but right now
(w/ gnatprove 11.2) it doesn't. The manual assertions don't seem to be
more fragile and get the job done.

Change-Id: Ib623d7b0b3f39c8157200d714a7951a89122bd9f
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/498
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>