Update example.uni